Martins, F., 		Oliveira, A., 		Vasconcelos, D., & 		Menezes, M.
(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>, (pp. 1282-1292). Porto Alegre: SBC.
doi:10.5753/sbie.2023.234658