Alonderis R, Pliuškevičius R, Pliuškevičienė A. Baigtiniai sekvenciniai skaičiavimai tiesinio laiko teiginių logikai. LMR [Internet]. 2015 Dec. 15 [cited 2024 Nov. 21];56(A):1–6. Available from: https://www.zurnalai.vu.lt/LMR/article/view/14916