MAYBE

Problem:
 f(a(),b(),X) -> f(X,X,X)
 c() -> a()
 c() -> b()

Proof:
 DP Processor:
  DPs:
   f#(a(),b(),X) -> f#(X,X,X)
  TRS:
   f(a(),b(),X) -> f(X,X,X)
   c() -> a()
   c() -> b()
  SCC Processor:
   #sccs: 1
   #rules: 1
   #arcs: 1/1
   DPs:
    f#(a(),b(),X) -> f#(X,X,X)
   TRS:
    f(a(),b(),X) -> f(X,X,X)
    c() -> a()
    c() -> b()
   Open