Alonderis, R. Intuicionistinės Laiko Logikos Su Laiko Tarpais Sekvencinio skaičiavimo Taisyklių Specializacija. LMR 1999, 39 (III), 305–310 . https://doi.org/10.15388/LMD.1999.35639.