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>Proceedings of the 34th Brazilian Symposium on Computers in Education,
Passo Fundo/RS, 2023</em>. SBC, 2023,  
pp.1282-1292.