A Cut-Free and Invariant-Free Sequent Calculus for PLTL | Publicación