How to transform canonical decreasing CTRSs into equivalent canonical TRSs (1994)

by C Hintermeier
Venue:In Proc. of the 4th International Workshop on Conditional and Typed Rewriting Systems (CTRS’94