Alonderis, R. ir kt. 2015. Baigtiniai sekvenciniai skaičiavimai tiesinio laiko teiginių logikai. Lietuvos matematikos rinkinys. 56, A (gruodž. 2015), 1–6. DOI:https://doi.org/10.15388/LMR.A.2015.01.