R. Alonderis, “Structural rules and cut admissibility in a sequent calculus of temporal logic with predicates = and >”;, LMR, vol. 42, no. spec., pp. 461–465, Dec. 2002, doi: 10.15388/LMR.2002.32977.