Sakalauskaitė, Jūratė. 1997. “Prefixed Tableaus for Three-Valued Modal Propositional Logics”. Lietuvos Matematikos Rinkinys 37 (I): 179–184 . https://doi.org/10.15388/LMD.1997.38210.