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