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, p. 842–870. doi: 10.5753/rbie.2024.3249.