F. L. B. Martins, A. C. A. de Oliveira, D. R. de Vasconcelos, e M. V. de Menezes, “Avaliando a habilidade do ChatGPT de realizar provas de Dedução Natural em Lógica Proposicional e Lógica de Predicados”, RBIE, vol. 33, p. 244–278, maio 2025.