Norgėla S. Rezoliucijų skaičiavimas modalumų logikai S4. LMR [Prieiga per internetą]. 2000 m.gruodžio18 d. [žiūrėta 2025 m.lapkričio6 d.];40(spec.):270–274. Adresas: https://www.zurnalai.vu.lt/LMR/article/view/35147