Danvy, O. and Schultz, U.P. 2004. Lambda-Lifting in Quadratic Time. BRICS Report Series. 11, 12 (Jun. 2004). DOI:https://doi.org/10.7146/brics.v11i12.21837.