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