Martins, Francisco, Augusto César Araújo de Oliveira, Davi Romero de Vasconcelos, and Maria Viviane de Menezes.
" Avaliando a habilidade do ChatGPT de realizar provas de Dedução Natural em Lógica Proposicional." <em>Anais do XXXIV Simpósio Brasileiro de Informática na Educação,
Passo Fundo/RS, 2023</em>. SBC, 2023,  
pp.1282-1292.