Davi Vasconcelos, Robson Paula, and Maria Menezes. 2022.
 NADIA - Natural DeductIon proof Assistant. In <em>Proceedings of the 30th Workshop on Computing Education</em>, July 31, 2022, Niterói, Brasil. SBC, Porto Alegre, Brasil, 427-438. DOI: <a href="https://doi.org/10.5753/wei.2022.222875">https://doi.org/10.5753/wei.2022.222875</a>.