O. Danvy and U. P. Schultz, “Lambda-Lifting in Quadratic Time”, BRICS, vol. 10, no. 26, Aug. 2003.