Alonderis, Romas. “Specialization of Loop Rules of a Sequent Calculus of Intuitionistic Temporal Logic With Time Gaps”. Lietuvos matematikos rinkinys 39, no. III (December 17, 1999): 305–310 . Accessed November 21, 2024. https://www.journals.vu.lt/LMR/article/view/35639.