Martins, Francisco, 		Oliveira, Augusto, 		Vasconcelos, Davi, E 		Menezes, Maria.
" Avaliando a habilidade do ChatGPT de realizar provas de Dedução Natural em Lógica Proposicional" <em>Anais do Simpósio Brasileiro de Informática na Educação (SBIE)</em> [Online], (6 novembro 2023)