1.
Alonderis R. Žymėtas sekvencinis skaičiavimas propozicinei tiesinio laiko logikai. LMR [Prieiga per internetą]. 2012 m.gruodžio15 d. [žiūrėta 2021 m.birželio23 d.];53(A):1–6. Adresas: https://www.zurnalai.vu.lt/LMR/article/view/14860