R. . Alonderis, „Sekvencinis skaičiavimas teiginių laiko logikai su laiko tarpsniais“, LMR, t. 52, nr. proc. LMS, p. 225–230, gruodž. 2011, doi: 10.15388/LMR.2011.ml01.