Francisco Martins, Augusto Oliveira, Davi Vasconcelos, and Maria Menezes. 2023.
 Avaliando a habilidade do ChatGPT de realizar provas de Dedução Natural em Lógica Proposicional. In <em>Anais do XXXIV Simpósio Brasileiro de Informática na Educação</em>, novembro 06, 2023, Passo Fundo/RS, Brasil. SBC, Porto Alegre, Brasil, 1282-1292. DOI: <a href="https://doi.org/10.5753/sbie.2023.234658">https://doi.org/10.5753/sbie.2023.234658</a>.