Sandes, T., 		Vasconcelos, D., 		Menezes, M., & 		Lima, V.
(2025).
 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>, (pp. 1069-1080). Porto Alegre: SBC.
doi:10.5753/eniac.2025.14333