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