*(

*(

R

↳Dependency Pair Analysis

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

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

Furthermore,

R

↳DPs

→DP Problem 1

↳Remaining Obligation(s)

The following remains to be proven:

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

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

*(x,x) ->x

Duration:

0:00 minutes