Martins, F. L. B., Oliveira, A. C. A. de, Vasconcelos, D. R. de e Menezes, M. V. de (2025) “Avaliando a habilidade do ChatGPT de realizar provas de Dedução Natural em Lógica Proposicional e Lógica de Predicados”, Revista Brasileira de Informática na Educação, 33, p. 244–278. doi: 10.5753/rbie.2025.4500.