MAYBE
MAYBE
TRS:
 {
        +(x, 0()) -> x,
   +(minus(x), x) -> 0(),
   minus(+(x, y)) -> +(minus(y), minus(x)),
       minus(0()) -> 0(),
  minus(minus(x)) -> x,
    *(x, +(y, z)) -> +(*(x, y), *(x, z)),
        *(x, 0()) -> 0(),
   *(x, minus(y)) -> minus(*(x, y)),
        *(x, 1()) -> x
 }
 DUP: We consider a duplicating system.
  Trs:
   {
          +(x, 0()) -> x,
     +(minus(x), x) -> 0(),
     minus(+(x, y)) -> +(minus(y), minus(x)),
         minus(0()) -> 0(),
    minus(minus(x)) -> x,
      *(x, +(y, z)) -> +(*(x, y), *(x, z)),
          *(x, 0()) -> 0(),
     *(x, minus(y)) -> minus(*(x, y)),
          *(x, 1()) -> x
   }
  Fail