Alonderis R. Intuicionistinės laiko logikos su laiko tarpais sekvencinio skaičiavimo taisyklių specializacija. LMR [Prieiga per internetą]. 1999 m.gruodžio17 d. [žiūrėta 2025 m.spalio28 d.];39(III):305–310 . Adresas: https://test.zurnalai.vu.lt/LMR/article/view/35639