[1]
O. Danvy and K. H. Rose, “Higher-Order Rewriting and Partial Evaluation”, BRICS, vol. 4, no. 46, Jun. 1997.