How to Transform Canonical Decreasing CTRSs into Equivalent Canonical TRSs.

Claus Hintermeier How to Transform Canonical Decreasing CTRSs into Equivalent Canonical TRSs. 186-205 1994 conf/ctrs/1994 CTRS db/conf/ctrs/ctrs94.html#Hintermeier94