D. Biernacki and O. Danvy, “From Interpreter to Logic Engine by Defunctionalization”, BRICS, vol. 11, no. 5, Mar. 2004.