R
↳Dependency Pair Analysis
F(g(x, y)) > G(f(x), f(y))
F(g(x, y)) > F(x)
F(g(x, y)) > F(y)
F(h(x, y)) > G(h(y, f(x)), h(x, f(y)))
F(h(x, y)) > F(x)
F(h(x, y)) > F(y)
R
↳DPs
→DP Problem 1
↳SizeChange Principle
F(h(x, y)) > F(y)
F(h(x, y)) > F(x)
F(g(x, y)) > F(y)
F(g(x, y)) > F(x)
f(a) > b
f(c) > d
f(g(x, y)) > g(f(x), f(y))
f(h(x, y)) > g(h(y, f(x)), h(x, f(y)))
g(x, x) > h(e, x)


trivial
g(x_{1}, x_{2}) > g(x_{1}, x_{2})
h(x_{1}, x_{2}) > h(x_{1}, x_{2})