Alonderis, Romas. “Specialization of Loop Rules of a Sequent Calculus of Intuitionistic Temporal Logic With Time Gaps”. Lietuvos Matematikos Rinkinys, vol. 39, no. III, Dec. 1999, pp. 305–310 , https://doi.org/10.15388/LMD.1999.35639.