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