R. Alonderis, „Žymėtas sekvencinis skaičiavimas propozicinei tiesinio laiko logikai“, LMR, t. 53, nr. A, p. 1–6, gruodž. 2012, doi: 10.15388/LMR.A.2012.01.