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