MAYBE
MAYBE
TRS:
 {
            plus(x, s(y)) -> s(plus(x, y)),
             plus(x, 0()) -> x,
  times(x, plus(y, s(z))) ->
  plus(times(x, plus(y, times(s(z), 0()))), times(x, s(z))),
           times(x, s(y)) -> plus(times(x, y), x),
            times(x, 0()) -> 0()
 }
 DUP: We consider a duplicating system.
  Trs:
   {
              plus(x, s(y)) -> s(plus(x, y)),
               plus(x, 0()) -> x,
    times(x, plus(y, s(z))) ->
    plus(times(x, plus(y, times(s(z), 0()))), times(x, s(z))),
             times(x, s(y)) -> plus(times(x, y), x),
              times(x, 0()) -> 0()
   }
  Fail