a -> g(c)

g(a) -> b

f(g(

R

↳Dependency Pair Analysis

A -> G(c)

F(g(X), b) -> F(a,X)

F(g(X), b) -> A

Furthermore,

R

↳DPs

→DP Problem 1

↳Remaining Obligation(s)

The following remains to be proven:

**F(g( X), b) -> F(a, X)**

a -> g(c)

g(a) -> b

f(g(X), b) -> f(a,X)

innermost

Duration:

0:00 minutes