Olivier Danvy, Kristoffer Høgsbro Rose: Higher-Order Rewriting and Partial Evaluation. RTA 1998: 286-301