Biernacki, Dariusz, and Olivier Danvy. 2003. “From Interpreter to Logic Engine by Defunctionalization”. BRICS Report Series 10 (25). https://doi.org/10.7146/brics.v10i25.21954.