Alonderis, R. (1999). Intuicionistinės laiko logikos su laiko tarpais sekvencinio skaičiavimo taisyklių specializacija. Lietuvos Matematikos Rinkinys, 39(III), 305–310 . https://doi.org/10.15388/LMD.1999.35639