Eine syntaktisch-algebraische Methode zur Konstruktion von Modellen. - Mario Rodríguez-Artalejo (Math. Log. Q., 1981)

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

Some Questions about Expressiveness and Relative Completeness in Hoare's Logic. - Mario Rodríguez-Artalejo (Theor. Comput. Sci., 1985)

BABEL: A Functional and Logic Programming Language based on Constructor Discipline and Narrowing. - Juan José Moreno-Navarro; Mario Rodríguez-Artalejo (ALP, 1988)

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

European Summer Meeting of the Association for Symbolic Logic. - Heinz-Dieter Ebbinghaus; José Fernández-Prida; Manuel Garrido; Daniel Lascar; Mario Rodríguez-Artalejo (J. Symb. Log., 1989)

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

Lazy Narrowing in a Graph Machine. - Juan José Moreno-Navarro; Herbert Kuchen; Rita Loogen; Mario Rodríguez-Artalejo (ALP, 1990)

Graph-based Implementation of a Functional Logic Langugage. - Herbert Kuchen; Rita Loogen; Juan José Moreno-Navarro; Mario Rodríguez-Artalejo (ESOP, 1990)

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

Reasoning with Higher Order Partial Functions. - Antonio Gavilanes-Franco; Francisca Lucio-Carrasco; Mario Rodríguez-Artalejo (CSL, 1992)

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)

Implementing a Lazy Functional Logic Language with Disequality Constraints. - Herbert Kuchen; Francisco Javier López-Fraguas; Juan José Moreno-Navarro; Mario Rodríguez-Artalejo (JICSLP, 1992)

Logic Programming with Functions and Predicates: The Language BABEL. - Juan José Moreno-Navarro; Mario Rodríguez-Artalejo (J. Log. Program., 1992)

A Demand Driven Computation Strategy for Lazy Narrowing. - Rita Loogen; Francisco Javier López-Fraguas; Mario Rodríguez-Artalejo (PLILP, 1993)

A Model for Mathematical Analysis of Functional Logic Programs and Their Implementations. - Egon Börger; Francisco Javier López-Fraguas; Mario Rodríguez-Artalejo (IFIP Congress (1), 1994)

The Challenge of Declarative Programming (Panel Abstract). - Mario Rodríguez-Artalejo (ILPS, 1995)

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)

GOTA Algebras: A Specification Formalism for Inheritance and Object Hierarchies. - Joaquín Mateos-Lago; Mario Rodríguez-Artalejo (PLILP, 1996)

The Functional Logic Language BABEL and Its Implementation on a Graph Machine. - Herbert Kuchen; Rita Loogen; Juan José Moreno-Navarro; Mario Rodríguez-Artalejo (New Gener. Comput., 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)

A Lazy Narrowing Calculus for Functional Logic Programming with Algebraic Polymorphic Types. - Puri Arenas-Sánchez; Mario Rodríguez-Artalejo (ILPS, 1997)

Constraint Logic Programming with Hereditary Harrop Formulas. - Javier Leach; Susana Nieva; Mario Rodríguez-Artalejo (ILPS, 1997)

A Semantic Framework for Functional Logic Programming with Algebraic Polymorphic Types. - Puri Arenas-Sánchez; Mario Rodríguez-Artalejo (TAPSOFT, 1997)

Functional and Constraint Logic Programming. - Mario Rodríguez-Artalejo (CCL, 1999)

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)

A Logical Framework for the Algorithmic Debugging of Lazy Functional-Logic Program. - Rafael Caballero 001; Francisco Javier López-Fraguas; Mario Rodríguez-Artalejo (WFLP, 2000)

Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs. - Rafael Caballero 001; Francisco Javier López-Fraguas; Mario Rodríguez-Artalejo (FLOPS, 2001)

A Declarative Debugging System for Lazy Functional Logic Programs. - Rafael Caballero 001; Mario Rodríguez-Artalejo (WFLP, 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 declarative framework for object-oriented programming with genetic inheritance. - Joaquín Mateos-Lago; Mario Rodríguez-Artalejo (Theor. Comput. Sci., 2001)

A General Framework for Lazy Functional Logic, Programming with Algebraic Polymorphic Types. - Puri Arenas-Sánchez; Mario Rodríguez-Artalejo (Theory Pract. Log. Program., 2001)

Constraint Logic Programming with Hereditary Harrop Formula. - Javier Leach; Susana Nieva; Mario Rodríguez-Artalejo (Theory Pract. Log. Program., 2001)

Editorial: the Sixth International Symposium on Functional and Logic Programming. - Zhenjiang Hu; Mario Rodríguez-Artalejo (J. Funct. Log. Program., 2003)

DDT: a Declarative Debugging Tool for Functional-Logic Languages. - Rafael Caballero 001; Mario Rodríguez-Artalejo (FLOPS, 2004)

A lazy narrowing calculus for declarative constraint programming. - Francisco Javier López-Fraguas; Mario Rodríguez-Artalejo; Rafael del Vado Vírseda (PPDP, 2004)

Constraint Functional Logic Programming Revisited. - Francisco Javier López-Fraguas; Mario Rodríguez-Artalejo; Rafael del Vado Vírseda (WRLA, 2004)

Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming. - Rafael Caballero 001; Mario Rodríguez-Artalejo; Rafael del Vado Vírseda (ICLP, 2006)

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)

Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming. - Rafael Caballero 001; Mario Rodríguez-Artalejo; Rafael del Vado Vírseda (ICLP, 2007)

A new generic scheme for functional logic programming with constraints. - Francisco Javier López-Fraguas; Mario Rodríguez-Artalejo; Rafael del Vado Vírseda (High. Order Symb. Comput., 2007)

Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming. - Rafael Caballero 001; Mario Rodríguez-Artalejo; Rafael del Vado Vírseda (FLOPS, 2008)

Quantitative Logic Programming Revisited. - Mario Rodríguez-Artalejo; Carlos A. Romero-Díaz (FLOPS, 2008)

Similarity-based reasoning in qualified logic programming. - Rafael Caballero 001; Mario Rodríguez-Artalejo; Carlos A. Romero-Díaz (PPDP, 2008)

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)

Qualified Logic Programming with Bivalued Predicates. - Mario Rodríguez-Artalejo; Carlos A. Romero-Díaz (PROLE, 2008)

Qualified Computations in Functional Logic Programming. - Rafael Caballero 001; Mario Rodríguez-Artalejo; Carlos A. Romero-Díaz (ICLP, 2009)

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)

A Generic Scheme for Qualified Logic Programming - Mario Rodríguez-Artalejo; Carlos A. Romero-Díaz (CoRR, 2010)

Fixpoint & Proof-theoretic Semantics for CLP with Qualification and Proximity - Mario Rodríguez-Artalejo; Carlos A. Romero-Díaz (CoRR, 2010)

A declarative semantics for CLP with qualification and proximity. - Mario Rodríguez-Artalejo; Carlos A. Romero-Díaz (Theory Pract. Log. Program., 2010)

A Generic Scheme for Qualified Constraint Functional Logic Programming - Rafael Caballero 001; Mario Rodríguez-Artalejo; Carlos A. Romero-Díaz (CoRR, 2011)

A Transformation-based implementation for CLP with qualification and proximity. - Rafael Caballero 001; Mario Rodríguez-Artalejo; Carlos A. Romero-Díaz (Theory Pract. Log. Program., 2014)