Sandes, Taís, Davi Romero de Vasconcelos, Maria Viviane de Menezes, and Victória de Oliveira Lima.
" Evaluating the Ability of ChatGPT and DeepSeek to Solve Propositional Logic Proofs Using the Analytic Tableau Deductive System." <em>Anais do XXII Encontro Nacional de Inteligência Artificial e Computacional,
Fortaleza/CE, 2025</em>. SBC, 2025,  
pp.1069-1080.