Santos, E. O. V., and L. H. C. Silvestrini. 2021. “O Método Dos Tableaux Aplicado Ao Cálculo Trivalente E Intuicionista I1”. Trends in Computational and Applied Mathematics 22 (3):393-412. https://doi.org/10.5540/tcam.2021.022.03.00393.