Vasconcelos, D. R. de, e M. V. Menezes. “NADIA - Natural DeductIon Proof Assistant: Um Assistente De Provas De Dedução Natural Para Lógica Proposicional E Lógica De Predicados”. Revista Brasileira De Informática Na Educação, vol. 32, agosto de 2024, p. 842-70, doi:10.5753/rbie.2024.3249.