MAYBE

Problem:
 f(a(x),y) -> g(x,y)
 g(x,y) -> h(x,y)
 h(b(),y) -> f(y,y)
 a(b()) -> c()

Proof:
 DP Processor:
  DPs:
   f#(a(x),y) -> g#(x,y)
   g#(x,y) -> h#(x,y)
   h#(b(),y) -> f#(y,y)
  TRS:
   f(a(x),y) -> g(x,y)
   g(x,y) -> h(x,y)
   h(b(),y) -> f(y,y)
   a(b()) -> c()
  EDG Processor:
   DPs:
    f#(a(x),y) -> g#(x,y)
    g#(x,y) -> h#(x,y)
    h#(b(),y) -> f#(y,y)
   TRS:
    f(a(x),y) -> g(x,y)
    g(x,y) -> h(x,y)
    h(b(),y) -> f(y,y)
    a(b()) -> c()
   graph:
    h#(b(),y) -> f#(y,y) -> f#(a(x),y) -> g#(x,y)
    g#(x,y) -> h#(x,y) -> h#(b(),y) -> f#(y,y)
    f#(a(x),y) -> g#(x,y) -> g#(x,y) -> h#(x,y)
   SCC Processor:
    #sccs: 1
    #rules: 3
    #arcs: 3/9
    DPs:
     h#(b(),y) -> f#(y,y)
     f#(a(x),y) -> g#(x,y)
     g#(x,y) -> h#(x,y)
    TRS:
     f(a(x),y) -> g(x,y)
     g(x,y) -> h(x,y)
     h(b(),y) -> f(y,y)
     a(b()) -> c()
    Open