Martins, F. L. B.; Oliveira, A. C. A. de; Vasconcelos, D. R. de; Menezes, M. V. de. Avaliando a Habilidade Do ChatGPT De Realizar Provas De Dedução Natural Em Lógica Proposicional E Lógica De Predicados. RBIE 2025, 33, 244-278.