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