Uniform narrowing strategies

This publication has 13 references indexed in Scilit:

• Sufficient-completeness, ground-reducibility and their complexity
  Acta Informatica, 1991
• On completeness of narrowing strategies
  Theoretical Computer Science, 1990
• Rewrite Systems
  Published by Elsevier ,1990
• Extending SLD resolution to equational horn clauses using E-unification
  The Journal of Logic Programming, 1989
• Extended unification algorithms for the integration of functional programming into logic programming
  The Journal of Logic Programming, 1987
• On sufficient-completeness and related properties of term rewriting systems
  Acta Informatica, 1987
• Design and implementation of a generic, logic and functional programming language
  Published by Springer Nature ,1986
• Complete sets of unifiers and matchers in equational theories
  Theoretical Computer Science, 1986
• Semantic confluence tests and completion methods
  Information and Control, 1985
• Canonical forms and unification
  Published by Springer Nature ,1980