SAKALAUSKAITĖ, J. Prefixed tableaus for three-valued modal propositional logics. Lietuvos matematikos rinkinys, v. 37, n. I, p. 179–184 , 15 Dec.1997.