f(c(s(

f(c(s(

g(c(

g(c(s(

R

↳Dependency Pair Analysis

F(c(s(x),y)) -> F(c(x, s(y)))

F(c(s(x), s(y))) -> G(c(x,y))

G(c(x, s(y))) -> G(c(s(x),y))

G(c(s(x), s(y))) -> F(c(x,y))

Furthermore,

R

↳DPs

→DP Problem 1

↳Remaining Obligation(s)

The following remains to be proven:

**G(c(s( x), s(y))) -> F(c(x, y))**

f(c(s(x),y)) -> f(c(x, s(y)))

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

g(c(x, s(y))) -> g(c(s(x),y))

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

Duration:

0:00 minutes