2006
-
Javier Álvez, Paqui Lucio. Equational Constraint Solving Via a Restricted Form of Universal Quantification. FoIKS 2006: 2-21
-
Paqui Lucio, Fernando Orejas, Edelmira Pasarella, Elvira Pino. A Functorial Framework for Constraint Normal Logic Programming. Essays Dedicated to Joseph A. Goguen 2006: 555-577