Martins, F., 		Oliveira, A., 		Vasconcelos, D., & 		Menezes, M.
2023 nov  6.  Avaliando a habilidade do ChatGPT de realizar provas de Dedução Natural em Lógica Proposicional. Anais do Simpósio Brasileiro de Informática na Educação (SBIE). [Online] :