MAYBE

Problem:
 p(m,n,s(r)) -> p(m,r,n)
 p(m,s(n),0()) -> p(0(),n,m)
 p(m,0(),0()) -> m

Proof:
 DP Processor:
  DPs:
   p#(m,n,s(r)) -> p#(m,r,n)
   p#(m,s(n),0()) -> p#(0(),n,m)
  TRS:
   p(m,n,s(r)) -> p(m,r,n)
   p(m,s(n),0()) -> p(0(),n,m)
   p(m,0(),0()) -> m
  Usable Rule Processor:
   DPs:
    p#(m,n,s(r)) -> p#(m,r,n)
    p#(m,s(n),0()) -> p#(0(),n,m)
   TRS:
    
   Restore Modifier:
    DPs:
     p#(m,n,s(r)) -> p#(m,r,n)
     p#(m,s(n),0()) -> p#(0(),n,m)
    TRS:
     p(m,n,s(r)) -> p(m,r,n)
     p(m,s(n),0()) -> p(0(),n,m)
     p(m,0(),0()) -> m
    SCC Processor:
     #sccs: 1
     #rules: 2
     #arcs: 4/4
     DPs:
      p#(m,n,s(r)) -> p#(m,r,n)
      p#(m,s(n),0()) -> p#(0(),n,m)
     TRS:
      p(m,n,s(r)) -> p(m,r,n)
      p(m,s(n),0()) -> p(0(),n,m)
      p(m,0(),0()) -> m
     Open