E. O. V. Santos e L. H. C. Silvestrini, “O Método dos Tableaux Aplicado ao Cálculo Trivalente e Intuicionista I1”, Trends Comput. Appl. Math., vol. 22, nº 3, p. 393–412, set. 2021.