ALONDERIS, R. Structural rules and cut admissibility in a sequent calculus of temporal logic with predicates = and > Lietuvos matematikos rinkinys, v. 42, n. spec., p. 461–465, 20 Dec.2002.