Biernacki, D.; Danvy, O. From Interpreter to Logic Engine by Defunctionalization. BRICS 2003, 10.