Norgėla S. Rezoliucijų skaičiavimas modalumų logikai S4. LMR [Internet]. 2000 Dec. 18 [cited 2024 Jul. 17];40(spec.):270–274. Available from: https://www.zurnalai.vu.lt/LMR/article/view/35147