D. R. de Vasconcelos e M. V. Menezes, “NADIA - Natural DeductIon proof Assistant: Um Assistente de provas de Dedução Natural para Lógica Proposicional e Lógica de Predicados”, RBIE, vol. 32, p. 842–870, ago. 2024.