Alonderis R, Pliuškevičius R, Pliuškevičienė A. Baigtiniai sekvenciniai skaičiavimai tiesinio laiko teiginių logikai. LMR [Prieiga per internetą]. 2015 m.gruodžio15 d. [žiūrėta 2025 m.lapkričio7 d.];56(A):1–6. Adresas: https://www.zurnalai.vu.lt/LMR/article/view/14916