Françoise Bellegarde A Transformation System Combining Partial Evaluation with Term Rewriting. 40-55 1993 conf/hoa/1993 HOA db/conf/hoa/hoa93.html#Bellegarde93