Alonderis, Romas. „Žymėtas sekvencinis skaičiavimas propozicinei tiesinio laiko logikai“. Lietuvos matematikos rinkinys, t. 53, nr. A, 2012 m.gruodžio, p. 1–6, https://doi.org/10.15388/LMR.A.2012.01.