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 20º de fevereiro de 2026];32:842-70. Disponível em: https://journals-sol.sbc.org.br/index.php/rbie/article/view/3249