Lazy narrowing: strong completeness and eager variable elimination

Partial evaluation of functional logic programs

ACM Transactions on Programming Languages and Systems (TOPLAS)

A needed narrowing strategy

Journal of the ACM (JACM)

Complexity of Linear Standard Theories

LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming

Complete Strategies for Term Graph Narrowing

WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques

A Complete Selection Function for Lazy Conditional Narrowing

FLOPS '01 Proceedings of the 5th International Symposium on Functional and Logic Programming

Higher-Order Lazy Narrowing Calculus: A Solver for Higher-Order Equations

Computer Aided Systems Theory - EUROCAST 2001-Revised Papers

Goal-Directed E-Unification

RTA '01 Proceedings of the 12th International Conference on Rewriting Techniques and Applications

The Unification Problem for Confluent Right-Ground Term Rewriting Systems

RTA '01 Proceedings of the 12th International Conference on Rewriting Techniques and Applications

Reducing Search Space in Solving Higher-Order Equations

Progress in Discovery Science, Final Report of the Japanese Discovery Science Project

Constructor-based conditional narrowing

Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming

The unification problem for confluent right-ground term rewriting systems

Information and Computation - RTA 2001

Higher-order narrowing with definitional trees

Journal of Functional Programming

A general framework for lazy functional logic programming with algebraic polymorphic types

Theory and Practice of Logic Programming

New completeness results for lazy conditional narrowing

PPDP '04 Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming

General E-unification with Eager Variable Elimination and a Nice Cycle Rule

Journal of Automated Reasoning

Semantic forgetting in answer set programming

Artificial Intelligence

Evaluation strategies for functional logic programming

Journal of Symbolic Computation