Biernacki, D. and Danvy, O. (2004) “From Interpreter to Logic Engine by Defunctionalization”, BRICS Report Series, 11(5). doi: 10.7146/brics.v11i5.21830.