MAYBE 0.00/0.01 The problem does not contain well-formed TRSs: 0.00/0.01 Strict Trs: 0.00/0.01 { after(s(N), cons(X)) -> after(N, XS) 0.00/0.01 , after(0(), XS) -> XS 0.00/0.01 , from(X) -> cons(X) } 0.00/0.01 StartTerms: all 0.00/0.01 Strategy: none 0.00/0.01 EOF