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