VASCONCELOS, D. R. de; MENEZES, M. V. 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, [S. l.], v. 32, p. 842–870, 2024. DOI: 10.5753/rbie.2024.3249. Disponível em: https://journals-sol.sbc.org.br/index.php/rbie/article/view/3249. Acesso em: 21 dez. 2025.