MAYBE 0.00/0.01 The problem does not contain well-formed TRSs: 0.00/0.01 Strict Trs: 0.00/0.01 { tail(cons(X)) -> XS 0.00/0.01 , nats() -> cons(0()) 0.00/0.01 , pairs() -> cons(0()) 0.00/0.01 , odds() -> incr(pairs()) 0.00/0.01 , incr(cons(X)) -> cons(s(X)) 0.00/0.01 , head(cons(X)) -> X } 0.00/0.01 StartTerms: basic terms 0.00/0.01 Strategy: innermost 0.00/0.01 EOF