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