Alonderis R. Sekvencinis skaičiavimas teiginių laiko logikai su laiko tarpsniais. LMR [Prieiga per internetą]. 2011 m.gruodžio15 d. [žiūrėta 2025 m.spalio28 d.];52(proc. LMS):225–230. Adresas: https://test.zurnalai.vu.lt/LMR/article/view/15429