.(.(

R

↳Dependency Pair Analysis

.'(.(x,y),z) -> .'(x, .(y,z))

.'(.(x,y),z) -> .'(y,z)

Furthermore,

R

↳DPs

→DP Problem 1

↳Remaining Obligation(s)

The following remains to be proven:

**.'(.( x, y), z) -> .'(y, z)**

.(.(x,y),z) -> .(x, .(y,z))

Duration:

0:00 minutes