“…While termination of term rewrite systems (TRSs) is well studied, only recently first results were obtained which adapt termination techniques in order to obtain polynomial complexity bounds automatically, e.g., [2][3][4][5]7,9,15,16,[19][20][21]23,27,28]. Here, [3,15,16] consider the dependency pair (DP) method [1,10,11,14], which is one of the most popular termination techniques for TRSs. 3 Moreover, [28] introduces a related modular approach for complexity analysis based on relative rewriting.…”