T. Sandes, D. Vasconcelos, M. Menezes, and V. Lima.
" Evaluating the Ability of ChatGPT and DeepSeek to Solve Propositional Logic Proofs Using the Analytic Tableau Deductive System", in <em>Anais do XXII Encontro Nacional de Inteligência Artificial e Computacional</em>, Fortaleza/CE, 2025, pp. 1069-1080, doi: <a href="https://doi.org/10.5753/eniac.2025.14333">https://doi.org/10.5753/eniac.2025.14333</a>.