g(f(

R

↳Dependency Pair Analysis

G(f(x,y)) -> G(g(x))

G(f(x,y)) -> G(x)

G(f(x,y)) -> G(g(y))

G(f(x,y)) -> G(y)

Furthermore,

R

↳DPs

→DP Problem 1

↳Remaining Obligation(s)

The following remains to be proven:

**G(f( x, y)) -> G(y)**

g(f(x,y)) -> f(f(g(g(x)), g(g(y))), f(g(g(x)), g(g(y))))

Duration:

0:00 minutes