Alonderis, R. Žymėtas sekvencinis skaičiavimas propozicinei tiesinio laiko logikai. LMR 2012, 53 (A), 1–6. https://doi.org/10.15388/LMR.A.2012.01.