Biernacki, D.; Danvy, O. From Interpreter to Logic Engine by Defunctionalization. BRICS 2004, 11.