Alonderis, Romas, ir kt. „Baigtiniai Sekvenciniai skaičiavimai Tiesinio Laiko Teiginių Logikai“. Lietuvos Matematikos Rinkinys, t. 56, nr. A, 2015 m.gruodžio, p. 1–6, https://doi.org/10.15388/LMR.A.2015.01.