Alonderis, R. 2002. Structural rules and cut admissibility in a sequent calculus of temporal logic with predicates = and >. Lietuvos matematikos rinkinys. 42, spec. (Dec. 2002), 461–465. DOI:https://doi.org/10.15388/LMR.2002.32977.