Alonderis, R. 1999. Specialization of loop rules of a sequent calculus of intuitionistic temporal logic with time gaps. Lietuvos matematikos rinkinys. 39, III (Dec. 1999), 305–310 . DOI:https://doi.org/10.15388/LMD.1999.35639.