Danvy, O. and Rose, K.H. 1997. Higher-Order Rewriting and Partial Evaluation. BRICS Report Series. 4, 46 (Jun. 1997). DOI:https://doi.org/10.7146/brics.v4i46.19267.