Specialization of loop rules of a sequent calculus of intuitionistic temporal logic with time gaps - Alonderis, Romas (Lietuvos matematikos rinkinys, 1999)
There is not abstract.