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.