Title: Compilation of term rewriting systems