Martins, Francisco, 		Oliveira, Augusto, 		Vasconcelos, Davi, AND 		Menezes, Maria.
" Avaliando a habilidade do ChatGPT de realizar provas de Dedução Natural em Lógica Proposicional" <em>Proceedings of the Brazilian Symposium on Computers in Education (SBIE)</em> [Online], (6 November 2023)