ALONDERIS, R. Žymėtas sekvencinis skaičiavimas propozicinei tiesinio laiko logikai. Lietuvos matematikos rinkinys, v. 53, n. A, p. 1–6, 15 gruodž.2012.