Danvy, O.; Rose, K. H. Higher-Order Rewriting and Partial Evaluation. BRICS 1997, 4.