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