Enno Ohlebusch Combinations of Simplifying Conditional Term Rewriting Systems. 113-127 1992 conf/ctrs/1992 CTRS db/conf/ctrs/ctrs92.html#Ohlebusch92