MAYBE

Problem:
 a(x,y) -> b(x,b(0(),c(y)))
 c(b(y,c(x))) -> c(c(b(a(0(),0()),y)))
 b(y,0()) -> y

Proof:
 DP Processor:
  DPs:
   a#(x,y) -> c#(y)
   a#(x,y) -> b#(0(),c(y))
   a#(x,y) -> b#(x,b(0(),c(y)))
   c#(b(y,c(x))) -> a#(0(),0())
   c#(b(y,c(x))) -> b#(a(0(),0()),y)
   c#(b(y,c(x))) -> c#(b(a(0(),0()),y))
   c#(b(y,c(x))) -> c#(c(b(a(0(),0()),y)))
  TRS:
   a(x,y) -> b(x,b(0(),c(y)))
   c(b(y,c(x))) -> c(c(b(a(0(),0()),y)))
   b(y,0()) -> y
  TDG Processor:
   DPs:
    a#(x,y) -> c#(y)
    a#(x,y) -> b#(0(),c(y))
    a#(x,y) -> b#(x,b(0(),c(y)))
    c#(b(y,c(x))) -> a#(0(),0())
    c#(b(y,c(x))) -> b#(a(0(),0()),y)
    c#(b(y,c(x))) -> c#(b(a(0(),0()),y))
    c#(b(y,c(x))) -> c#(c(b(a(0(),0()),y)))
   TRS:
    a(x,y) -> b(x,b(0(),c(y)))
    c(b(y,c(x))) -> c(c(b(a(0(),0()),y)))
    b(y,0()) -> y
   graph:
    c#(b(y,c(x))) -> c#(b(a(0(),0()),y)) ->
    c#(b(y,c(x))) -> c#(c(b(a(0(),0()),y)))
    c#(b(y,c(x))) -> c#(b(a(0(),0()),y)) ->
    c#(b(y,c(x))) -> c#(b(a(0(),0()),y))
    c#(b(y,c(x))) -> c#(b(a(0(),0()),y)) ->
    c#(b(y,c(x))) -> b#(a(0(),0()),y)
    c#(b(y,c(x))) -> c#(b(a(0(),0()),y)) ->
    c#(b(y,c(x))) -> a#(0(),0())
    c#(b(y,c(x))) -> c#(c(b(a(0(),0()),y))) ->
    c#(b(y,c(x))) -> c#(c(b(a(0(),0()),y)))
    c#(b(y,c(x))) -> c#(c(b(a(0(),0()),y))) ->
    c#(b(y,c(x))) -> c#(b(a(0(),0()),y))
    c#(b(y,c(x))) -> c#(c(b(a(0(),0()),y))) ->
    c#(b(y,c(x))) -> b#(a(0(),0()),y)
    c#(b(y,c(x))) -> c#(c(b(a(0(),0()),y))) ->
    c#(b(y,c(x))) -> a#(0(),0())
    c#(b(y,c(x))) -> a#(0(),0()) -> a#(x,y) -> b#(x,b(0(),c(y)))
    c#(b(y,c(x))) -> a#(0(),0()) -> a#(x,y) -> b#(0(),c(y))
    c#(b(y,c(x))) -> a#(0(),0()) -> a#(x,y) -> c#(y)
    a#(x,y) -> c#(y) -> c#(b(y,c(x))) -> c#(c(b(a(0(),0()),y)))
    a#(x,y) -> c#(y) -> c#(b(y,c(x))) -> c#(b(a(0(),0()),y))
    a#(x,y) -> c#(y) -> c#(b(y,c(x))) -> b#(a(0(),0()),y)
    a#(x,y) -> c#(y) -> c#(b(y,c(x))) -> a#(0(),0())
   SCC Processor:
    #sccs: 1
    #rules: 4
    #arcs: 15/49
    DPs:
     c#(b(y,c(x))) -> c#(b(a(0(),0()),y))
     c#(b(y,c(x))) -> a#(0(),0())
     a#(x,y) -> c#(y)
     c#(b(y,c(x))) -> c#(c(b(a(0(),0()),y)))
    TRS:
     a(x,y) -> b(x,b(0(),c(y)))
     c(b(y,c(x))) -> c(c(b(a(0(),0()),y)))
     b(y,0()) -> y
    Open