Thierry Heuillard Compiling Conditional Rewriting Systems. 111-128 1987 conf/ctrs/1987 CTRS db/conf/ctrs/ctrs87.html#Heuillard87