Claude Marché Normalized Rewriting: An Alternative to Rewriting Modulo a Set of Equations. 253-288 1996 21 J. Symb. Comput. 3 db/journals/jsc/jsc21.html#Marche96