Jasper Kamperman

• Compilation of term rewriting systems