SAKALAUSKAITĖ, Jūratė. Tableaus for finitely-valued modal propositional logics. Lietuvos matematikos rinkinys, [S. l.], v. 38, n. II, p. 302–307 , 1998. DOI: 10.15388/LMD.1998.37922. Disponível em: https://journals.vu.lt./LMR/article/view/37922. Acesso em: 19 apr. 2025.