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