Vasconcelos, D.R. de e Menezes, M.V. 2024. 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. 32, (ago. 2024), 842–870. DOI:https://doi.org/10.5753/rbie.2024.3249.