LSE narrowing for decreasing conditional term rewrite systems (1995)

by A Bockmayr, A Werner
Venue:In Proc. of the 4th International Workshop on Conditional and Typed Rewriting Systems