Structural rules and cut admissibility in a sequent calculus of temporal logic with predicates = and > - Romas Alonderis (Lietuvos Matematikos Rinkinys)
There is not abstract.