Vasconcelos, D. R. de, & 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, 842–870. https://doi.org/10.5753/rbie.2024.3249