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