Vasconcelos, Davi Romero de, e Maria Viviane Menezes. “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 (agosto 27, 2024): 842–870. Acessado dezembro 21, 2025. https://journals-sol.sbc.org.br/index.php/rbie/article/view/3249.