Chilukuri K. Mohan Equivalences of Rewrite Programs. 92-97 1990 conf/ctrs/1990 CTRS db/conf/ctrs/ctrs90.html#Mohan90