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