Sakalauskaitė, J. Prefixed Tableaus for Three-Valued Modal Propositional Logics. LMR 1997, 37 (I), 179–184 . https://doi.org/10.15388/LMD.1997.38210.