Title: Complexity of term rewriting