Norgėla S. Rezoliucijų metodas vienai modalumo logikos S4 klasei. LMR [Prieiga per internetą]. 2004 m.gruodžio17 d. [žiūrėta 2025 m.spalio28 d.];44(spec.):521–524. Adresas: https://test.zurnalai.vu.lt/LMR/article/view/32028