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.