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 July 3, 2024. https://tcam.sbmac.org.br/tema/article/view/1449.