A Cut-Free and Invariant-Free Sequent Calculus for PLTL.

Joxe Gaintzarain Montserrat Hermo Paqui Lucio Marisa Navarro Fernando Orejas A Cut-Free and Invariant-Free Sequent Calculus for PLTL. 481-495 2007 conf/csl/2007 CSL http://dx.doi.org/10.1007/978-3-540-74915-8_36 db/conf/csl/csl2007.html#GaintzarainHLNO07