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