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