D. Vasconcelos, R. Paula, and M. Menezes.
"NADIA - Natural DeductIon proof Assistant", in <em>Anais do XXX Workshop sobre Educação em Computação</em>, Niterói, 2022, pp. 427-438, doi: <a href="https://doi.org/10.5753/wei.2022.222875">https://doi.org/10.5753/wei.2022.222875</a>.