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. Actas del Simposio Brasileño sobre Informática en Educación (SBIE). [En línea] :