R

↳Dependency Pair Analysis

A(b(x)) -> A(a(x)) A(b(x)) -> A(x)

↳DPs

→DP Problem 1

↳Remaining Obligation(s)

A(b(x)) -> A(x)A(b(x)) -> A(a(x))

a(b(x)) -> b(b(a(a(x))))