Alonderis R. Struktūrinių taisyklių bei pjūvio leistinumas laiko logikos su predikatais = ir > sekvenciniame skaičiavime. LMR [Prieiga per internetą]. 2002 m.gruodžio20 d. [žiūrėta 2025 m.spalio28 d.];42(spec.):461–465. Adresas: https://test.zurnalai.vu.lt/LMR/article/view/32977