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