Sakalauskaitė, Jūratė. 1998. “Tableaus for Finitely-Valued Modal Propositional Logics”. Lietuvos Matematikos Rinkinys 38 (II): 302–307 . https://doi.org/10.15388/LMD.1998.37922.