ALONDERIS, R. Sekvencinis skaičiavimas teiginių laiko logikai su laiko tarpsniais. Lietuvos matematikos rinkinys, v. 52, n. proc. LMS, p. 225–230, 15 gruodž.2011.