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, vol. 22, no. 3, Sept. 2021, pp. 393-12, doi:10.5540/tcam.2021.022.03.00393.