2007
-
Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas. A Cut-Free and Invariant-Free Sequent Calculus for PLTL. CSL 2007: 481-495
-
Paqui Lucio, Fernando Orejas. Preface. Electr. Notes Theor. Comput. Sci. 188: 1-2