ALONDERIS, R.; PLIUŠKEVIČIUS, R.; PLIUŠKEVIČIENĖ, A. Baigtiniai sekvenciniai skaičiavimai tiesinio laiko teiginių logikai. Lietuvos matematikos rinkinys, v. 56, n. A, p. 1–6, 15 gruodž.2015.