LSE narrowing for decreasing conditional term rewrite systems

This publication has 9 references indexed in Scilit:

• The integration of functions into logic programming: From theory to practice
  The Journal of Logic Programming, 1994
• Completeness results for basic narrowing
  Applicable Algebra in Engineering, Communication and Computing, 1994
• A needed narrowing strategy
  Published by Association for Computing Machinery (ACM) ,1994
• Conditional narrowing modulo a set of equations
  Applicable Algebra in Engineering, Communication and Computing, 1993
• Rewrite Systems
  Published by Elsevier ,1990
• Unification in conditional-equational theories
  Published by Springer Nature ,1985
• Fair Conditional Term Rewriting Systems: Unification, Termination and Confluence
  Published by Springer Nature ,1985
• Conditional rewrite rules
  Theoretical Computer Science, 1984
• Equations and Rewrite Rules: A Survey
  Published by Elsevier ,1980