Sakalauskaitė, Jūratė. “Prefixed Tableaus for Three-Valued Modal Propositional Logics”. Lietuvos matematikos rinkinys 37, no. I (December 15, 1997): 179–184 . Accessed November 26, 2025. https://www.zurnalai.vu.lt/LMR/article/view/38210.