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