Alonderis, R., Pliuškevičius, R., & Pliuškevičienė, A. (2015). Baigtiniai sekvenciniai skaičiavimai tiesinio laiko teiginių logikai. Lietuvos Matematikos Rinkinys, 56(A), 1–6. https://doi.org/10.15388/LMR.A.2015.01