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