O. Danvy and U. P. Schultz, “Lambda-Lifting in Quadratic Time”, BRICS, vol. 9, no. 30, Jun. 2002.