D. Biernacki and O. Danvy, “From Interpreter to Logic Engine by Defunctionalization”, BRICS, vol. 10, no. 25, Jun. 2003.