Vasconcelos DR de, Menezes MV. NADIA - Natural DeductIon proof Assistant: Um Assistente de provas de Dedução Natural para Lógica Proposicional e Lógica de Predicados. RBIE [Internet]. 27º de agosto de 2024 [citado 21º de dezembro de 2025];32:842-70. Disponível em: https://journals-sol.sbc.org.br/index.php/rbie/article/view/3249