Title: Algorithmic term rewriting systems