R. Alonderis, “Žymėtas sekvencinis skaičiavimas propozicinei tiesinio laiko logikai”, LMR, vol. 53, no. A, pp. 1–6, Dec. 2012, doi: 10.15388/LMR.A.2012.01.