Martins, F. L. B., 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”. Revista Brasileira De Informática Na Educação, vol. 33, maio de 2025, p. 244-78, doi:10.5753/rbie.2025.4500.