Alonderis, Romas. “Žymėtas Sekvencinis skaičiavimas Propozicinei Tiesinio Laiko Logikai”. Lietuvos Matematikos Rinkinys, vol. 53, no. A, Dec. 2012, pp. 1–6, https://doi.org/10.15388/LMR.A.2012.01.