Alonderis R. Ryšys tarp klasikinių ir intuicionistinių laiko logikos sekvencinių skaičiavimų. LMR [Prieiga per internetą]. 2001 m.gruodžio17 d. [žiūrėta 2025 m.spalio28 d.];41(spec.):403–407. Adresas: https://test.zurnalai.vu.lt/LMR/article/view/34620