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, (maio 2025), 244–278. DOI:https://doi.org/10.5753/rbie.2025.4500.