A Compiler for a Class of Conditional Term Rewriting Systems.

Alfons Geser Heinrich Hußmann Andreas Mück A Compiler for a Class of Conditional Term Rewriting Systems. 84-90 1987 conf/ctrs/1987 CTRS db/conf/ctrs/ctrs87.html#GeserHM87