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 2026 m.sausio8 d.];39(III):305–310 . Adresas: https://www.zurnalai.vu.lt/LMR/article/view/35639