f(

f(

f(

f(

g1(

g1(

g2(

g2(

h(

R

↳Dependency Pair Analysis

F(x,y) -> G1(x,x,y)

F(x,y) -> G1(y,x,x)

F(x,y) -> G2(x,y,y)

F(x,y) -> G2(y,y,x)

G1(x,x,y) -> H(x,y)

G1(y,x,x) -> H(x,y)

G2(x,y,y) -> H(x,y)

G2(y,y,x) -> H(x,y)

Duration:

0:00 minutes