Sandes, T., 		Vasconcelos, D., 		Menezes, M., & 		Lima, V.
2025 set 29.  Evaluating the Ability of ChatGPT and DeepSeek to Solve Propositional Logic Proofs Using the Analytic Tableau Deductive System. Anais do Encontro Nacional de Inteligência Artificial e Computacional (ENIAC). [Online] :