Hoare's Logic for Nondeterministic Regular Programs: A Nonstandard Completeness Theorem. - Maria Teresa Hortalá-González; Mario Rodríguez-Artalejo (ICALP, 1985)

Some General Incompleteness Results for Partial Correctness Logics - Maria Teresa Hortalá-González; Francisca Lucio-Carrasco; Mario Rodríguez-Artalejo (Inf. Comput., 1988)

Hoare's Logic for Nondeterministic Regular Programs: A Nonstandard Approach. - Maria Teresa Hortalá-González; Mario Rodríguez-Artalejo (Theor. Comput. Sci., 1989)

Denotational Versus Declarative Semantics for Functional Programming. - Juan Carlos González Moreno; Maria Teresa Hortalá-González; Mario Rodríguez-Artalejo (CSL, 1991)

On the Completeness of Narrowing as the Operational Semantics of Functional Logic Programming. - Juan Carlos González Moreno; Maria Teresa Hortalá-González; Mario Rodríguez-Artalejo (CSL, 1992)

Real Constraints within a Functional Logic Language. - Puri Arenas-Sánchez; Maria Teresa Hortalá-González; Francisco Javier López-Fraguas; Eva Ullán (APPIA-GULP-PRODE, 1996)

A Rewriting Logic for Declarative Programming. - Juan Carlos González Moreno; Maria Teresa Hortalá-González; Francisco Javier López-Fraguas; Mario Rodríguez-Artalejo (ESOP, 1996)

A Higher Order Rewriting Logic for Functional Logic Programming. - Juan Carlos González Moreno; Maria Teresa Hortalá-González; Mario Rodríguez-Artalejo (ICLP, 1997)

Semantics and Types in Functional Logic Programming. - Juan Carlos González Moreno; Maria Teresa Hortalá-González; Mario Rodríguez-Artalejo (Fuji International Symposium on Functional and Logic Programming, 1999)

An Approach to Declarative Programming Based on a Rewriting Logic. - Juan Carlos González Moreno; Maria Teresa Hortalá-González; Francisco Javier López-Fraguas; Mario Rodríguez-Artalejo (J. Log. Program., 1999)

An abstract machine based experimental system for a lazy narrowing calculus. - Maria Teresa Hortalá-González; Eva Ullán (WFLP, 2000)

An Abstract Machine Based System for a Lazy Narrowing Calculus. - Maria Teresa Hortalá-González; Eva Ullán (FLOPS, 2001)

Polymorphic Types in Functional Logic Programming. - Juan Carlos González Moreno; Maria Teresa Hortalá-González; Mario Rodríguez-Artalejo (J. Funct. Log. Program., 2001)

A Functional Logic Language with Finite Domain Constraints. - Antonio J. Fernández 001; Maria Teresa Hortalá-González; Fernando Sáenz-Pérez (APPIA-GULP-PRODE, 2002)

Toy(FD): Sketch of Operational Semantics. - Antonio J. Fernández 001; Maria Teresa Hortalá-González; Fernando Sáenz-Pérez (CP, 2003)

Solving Combinatorial Problems with a Constraint Functional Logic Language. - Antonio J. Fernández 001; Maria Teresa Hortalá-González; Fernando Sáenz-Pérez (PADL, 2003)

Programming with TOY(FD). - Antonio J. Fernández 001; Maria Teresa Hortalá-González; Fernando Sáenz-Pérez (CP, 2005)

A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming. - Sonia Estévez Martín; Antonio J. Fernández 001; Maria Teresa Hortalá-González; Mario Rodríguez-Artalejo; Fernando Sáenz-Pérez; Rafael del Vado Vírseda (PROLE, 2006)

A Fully Sound Goal Solving Calculus for the Cooperation of Solvers in the CFLP Scheme. - Sonia Estévez Martín; Antonio J. Fernández 001; Maria Teresa Hortalá-González; Mario Rodríguez-Artalejo; Rafael del Vado Vírseda (WFLP, 2006)

Constraint functional logic programming over finite domains. - Antonio J. Fernández 001; Maria Teresa Hortalá-González; Fernando Sáenz-Pérez; Rafael del Vado Vírseda (Theory Pract. Log. Program., 2007)

Cooperation of constraint domains in the TOY system. - Sonia Estévez Martín; Antonio J. Fernández 001; Maria Teresa Hortalá-González; Mario Rodríguez-Artalejo; Fernando Sáenz-Pérez; Rafael del Vado Vírseda (PPDP, 2008)

On the Cooperation of the Constraint Domains H, R and FD in CFLP - Sonia Estévez Martín; Maria Teresa Hortalá-González; Mario Rodríguez-Artalejo; Rafael del Vado Vírseda; Fernando Sáenz-Pérez; Antonio J. Fernández 001 (CoRR, 2009)

On the cooperation of the constraint domains , R, and F in CFLP. - Sonia Estévez Martín; Maria Teresa Hortalá-González; Mario Rodríguez-Artalejo; Rafael del Vado Vírseda; Fernando Sáenz-Pérez; Antonio J. Fernández 001 (Theory Pract. Log. Program., 2009)