Vasconcelos, D. R. de; Menezes, M. V. NADIA - Natural DeductIon Proof Assistant: Um Assistente De Provas De Dedução Natural Para Lógica Proposicional E Lógica De Predicados. RBIE 2024, 32, 842-870.