LSE Narrowing for Decreasing Conditional Term Rewrite Systems

• Authors:

• Alexander Bockmayr;Andreas Werner

• Affiliations:

• -;-

• Venue:
• CTRS '94 Proceedings of the 4th International Workshop on Conditional and Typed Rewriting Systems
• Year:
• 1994