MAYBE
Trs:
 {          p(s(X)) -> X,
  minus(s(X), s(Y)) -> p(minus(X, Y)),
      minus(X, 0()) -> X,
     div(0(), s(Y)) -> 0(),
    div(s(X), s(Y)) -> s(div(minus(X, Y), s(Y)))}
 Comment:
  We consider a duplicating trs.
  FAIL:
   Open