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