(1)
Alonderis R. Žymėtas Sekvencinis skaičiavimas Propozicinei Tiesinio Laiko Logikai. LMR 2012, 53, 1–6.