Sufficient Conditions for Modular Termination of Conditional Term Rewriting Systems.

Bernhard Gramlich Sufficient Conditions for Modular Termination of Conditional Term Rewriting Systems. 128-142 1992 conf/ctrs/1992 CTRS db/conf/ctrs/ctrs92.html#Gramlich92