Sakalauskaitė, J. 1998. Tableaus for finitely-valued modal propositional logics. Lietuvos matematikos rinkinys. 38, II (Dec. 1998), 302–307 . DOI:https://doi.org/10.15388/LMD.1998.37922.