| A Transformation-based implementation for CLP with qualification and proximity. | 5 | 0.44 | 2014 |
| A Generic Scheme for Qualified Constraint Functional Logic Progamming | 0 | 0.34 | 2011 |
| Similarity-based reasoning in qualified logic programming | 14 | 0.62 | 2010 |
| A declarative semantics for clp with qualification and proximity* | 9 | 0.50 | 2010 |
| Fixpoint & Proof-theoretic Semantics for CLP with Qualification and Proximity | 0 | 0.34 | 2010 |
| A Generic Scheme for Qualified Logic Programming | 1 | 0.34 | 2010 |
| On the cooperation of the constraint domains , R, and F in CFLP. | 0 | 0.34 | 2009 |
| Qualified Computations in Functional Logic Programming | 1 | 0.36 | 2009 |
| Qualified Logic Programming with Bivalued Predicates | 4 | 0.40 | 2009 |
| On the Cooperation of the Constraint Domains H, R and FD in CFLP | 1 | 0.34 | 2009 |
| Cooperation of constraint domains in the TOY system | 0 | 0.34 | 2008 |
| Quantitative logic programming revisited | 13 | 0.61 | 2008 |
| A Fully Sound Goal Solving Calculus for the Cooperation of Solvers in the CFLP Scheme | 3 | 0.42 | 2007 |
| Declarative diagnosis of wrong answers in constraint functional-logic programming | 4 | 0.41 | 2006 |
| Constraint Functional Logic Programming Revisited | 7 | 0.65 | 2005 |
| DDT: a Declarative Debugging Tool for Functional-Logic Languages | 20 | 0.98 | 2004 |
| Editorial: the Sixth International Symposium on Functional and Logic Programming | 0 | 0.34 | 2003 |
| Functional and Logic Programming, 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002, Proceedings | 15 | 1.07 | 2002 |
| A Declarative Debugging System for Lazy Functional Logic Programs | 19 | 1.26 | 2002 |
| Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs | 22 | 1.15 | 2001 |
| Polymorphic Types in Functional Logic Programming | 26 | 1.00 | 2001 |
| Constraint logic programming with hereditary Harrop formulas | 14 | 0.68 | 2001 |
| A declarative framework for object-oriented programming with genetic inheritance | 1 | 0.35 | 2001 |
| A Logical Framework for the Algorithmic Debugging of Lazy Functional-Logic Program | 0 | 0.34 | 2000 |
| Semantics and Types in Functional Logic Programming | 5 | 0.51 | 1999 |
| Computer Science Logic, 13th International Workshop, CSL '99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings | 34 | 3.87 | 1999 |
| Functional and constraint logic programming | 15 | 0.73 | 1999 |
| A Semantic Framework for Functional Logic Programming with Algebraic Polymorphic Types | 13 | 0.71 | 1997 |
| A Higher Order Rewriting Logic For Functional Logic Programming | 28 | 1.13 | 1997 |
| GOTA Algebras: A Specification Formalism for Inheritance and Object Hierarchies | 0 | 0.34 | 1996 |
| A Rewriting Logic for Declarative Programming | 35 | 1.79 | 1996 |
| The functional logic language BABEL and its implementation on a graph machine | 3 | 0.52 | 1996 |
| Algebraic and Logic Programming, 5th International Conference, ALP'96, Aachen, Germany, September 25-27, 1996, Proceedings | 22 | 2.01 | 1996 |
| The Challenge of Declarative Programming (Panel Abstract) | 0 | 0.34 | 1995 |
| A Model for Mathematical Analysis of Functional Logic Programs and Their Implementations | 7 | 0.70 | 1994 |
| Algebraic and Logic Programming, 4th International Conference, ALP'94, Madid, Spain, September 14-16, 1994, Proceedings | 20 | 2.25 | 1994 |
| A Demand Driven Computation Strategy for Lazy Narrowing | 84 | 3.44 | 1993 |
| Reasoning with Higher Order Partial Functions | 1 | 0.37 | 1992 |
| Logic programming with functions and predicates: the language Babel | 123 | 4.97 | 1992 |
| Implementing a Lazy Functional Logic Language with Disequality Constraints | 9 | 0.68 | 1992 |
| On the Completeness of Narrowing as the Operational Semantics of Functional Logic Programming | 16 | 1.37 | 1992 |
| Denotational Versus Declarative Semantics for Functional Programming | 4 | 0.59 | 1991 |
| Automata, Languages and Programming, 18th International Colloquium, ICALP91, Madrid, Spain, July 8-12, 1991, Proceedings | 60 | 14.26 | 1991 |
| Lazy Narrowing in a Graph Machine | 37 | 2.52 | 1990 |
| Hoare's logic for nondeterministic regular programs: a nonstandard approach | 0 | 0.34 | 1989 |
| European Summer Meeting of the Association for Symbolic Logic | 0 | 0.34 | 1989 |
| Some general incompleteness results for partial correctness logics | 0 | 0.34 | 1988 |
| BABEL: A Functional and Logic Programming Language based on Constructor Discipline and Narrowing | 21 | 1.64 | 1988 |
| Hoare's Logic for Nondeterministic Regular Programs: A Nonstandard Completeness Theorem | 0 | 0.34 | 1985 |
