NADIA - Natural DeductIon proof Assistant: Um Assistente de Provas de Dedução Natural para Lógica Proposicional e Lógica de Predicados. - Romero de Vasconcelos, Davi; Viviane Menezes, Maria (Revista Brasileira de Informática na Educação, 2024)