How to transform canonical decreasing ctrss into equivalent canonical trss (1994)

by C Hintermeier
Venue:In 4th International Workshop on Conditional and Typed Rewriting Systems (CTRS’94), volume 968 of LNCS