Didier Bert Rachid Echahed Abstraction of Conditional Term Rewriting Systems. 162-176 1995 ILPS db/conf/slp/slp95.html#DidierE95