MAYBE
MAYBE
TRS:
 {
  p(a(x0), p(b(a(x1)), x2)) -> p(x1, p(a(b(a(x1))), x2)),
                a(b(a(x0))) -> b(a(b(x0)))
 }
 DUP: We consider a duplicating system.
  Trs:
   {
    p(a(x0), p(b(a(x1)), x2)) -> p(x1, p(a(b(a(x1))), x2)),
                  a(b(a(x0))) -> b(a(b(x0)))
   }
  Fail