MAYBE 0.00/0.02 The problem does not contain well-formed TRSs: 0.00/0.02 Strict Trs: 0.00/0.02 { U12(tt()) -> s(plus(N, M)) 0.00/0.02 , plus(N, s(M)) -> U11(tt()) 0.00/0.02 , plus(N, 0()) -> N 0.00/0.02 , U22(tt()) -> plus(x(N, M), N) 0.00/0.02 , x(N, s(M)) -> U21(tt()) 0.00/0.02 , x(N, 0()) -> 0() 0.00/0.02 , U11(tt()) -> U12(tt()) 0.00/0.02 , U21(tt()) -> U22(tt()) } 0.00/0.02 StartTerms: basic terms 0.00/0.02 Strategy: none 0.00/0.02 EOF