F. Martins, A. Oliveira, D. Vasconcelos, and M. Menezes.
" Avaliando a habilidade do ChatGPT de realizar provas de Dedução Natural em Lógica Proposicional", in <em>Anais do XXXIV Simpósio Brasileiro de Informática na Educação</em>, Passo Fundo/RS, 2023, pp. 1282-1292, doi: <a href="https://doi.org/10.5753/sbie.2023.234658">https://doi.org/10.5753/sbie.2023.234658</a>.