f(

f(

f(

f(i(

g(

R

↳Dependency Pair Analysis

F(x,x) -> F(i(x), g(g(x)))

F(x,x) -> G(g(x))

F(x,x) -> G(x)

F(x, i(x)) -> F(x,x)

Furthermore,

R

↳DPs

→DP Problem 1

↳Remaining Obligation(s)

The following remains to be proven:

**F( x, i(x)) -> F(x, x)**

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

f(x,y) ->x

f(x, i(x)) -> f(x,x)

f(i(x), i(g(x))) -> a

g(x) -> i(x)

innermost

Duration:

0:00 minutes