Javier Álvez, Paqui Lucio. A New Proposal Of Quasi-Solved Form For Equality Constraint Solving. Electr. Notes Theor. Comput. Sci. 206: 23-40

Javier Álvez, Paqui Lucio. A Generalization of the Folding Rule for the Clark-Kunen Semantics. FLOPS 2008: 180-194

Javier Álvez, Jordi Atserias, Jordi Carrera, Salvador Climent, Egoitz Laparra, Antoni Oliver, German Rigau. Complete and Consistent Annotation of WordNet using the Top Concept Ontology. LREC 2008

Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro. Systematic Semantic Tableaux for PLTL. Electr. Notes Theor. Comput. Sci. 206: 59-73

Paqui Lucio, Fernando Orejas, Edelmira Pasarella, Elvira Pino. A Functorial Framework for Constraint Normal Logic Programming. Applied Categorical Structures 16(3): 421-450