Magalhães, L., 		Sandes, T., 		Farias, V., 		Menezes, M., 		Caminha Neto, C., & 		Vasconcelos, D.
(2026).
 Formal Proof Generation in Deductive Logic Systems with Open LLMs: An Empirical Study on Natural Deduction and Analytical Tableau.
In <em>Anais do XXIII Encontro Nacional de Inteligência Artificial e Computacional</em>, (pp. 1675-1686). Porto Alegre: SBC.
doi:10.5753/eniac.2026.31290