O. Danvy and U. P. Schultz, “Lambda-Lifting in Quadratic Time”, BRICS, vol. 11, no. 12, Jun. 2004.