Santos, E. O. V., and L. H. C. Silvestrini. “O Método Dos Tableaux Aplicado Ao Cálculo Trivalente E Intuicionista I1”. Trends in Computational and Applied Mathematics 22, no. 3 (September 2, 2021): 393–412. Accessed March 9, 2025. https://tema.sbmac.emnuvens.com.br/tema/article/view/1449.