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