Sakalauskaitė, J. (1997) “Prefixed tableaus for three-valued modal propositional logics”, Lietuvos matematikos rinkinys, 37(I), pp. 179–184 . doi:10.15388/LMD.1997.38210.