MAYBE

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

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