Andirkonis J. Beciklis sekvencinis skaičiavimas modalumo logikai K4. LMR [Prieiga per internetą]. 2009 m.gruodžio20 d. [žiūrėta 2025 m.lapkričio7 d.];50(proc. LMS):241–246. Adresas: https://www.zurnalai.vu.lt/LMR/article/view/17971