R. Alonderis, R. Pliuškevičius, ir A. Pliuškevičienė, „Baigtiniai sekvenciniai skaičiavimai tiesinio laiko teiginių logikai“, LMR, t. 56, nr. A, p. 1–6, gruodž. 2015, doi: 10.15388/LMR.A.2015.01.