:(:(:(:(C,

R

↳Dependency Pair Analysis

:'(:(:(:(C,x),y),z),u) -> :'(:(x,z), :(:(:(x,y),z),u))

:'(:(:(:(C,x),y),z),u) -> :'(x,z)

:'(:(:(:(C,x),y),z),u) -> :'(:(:(x,y),z),u)

:'(:(:(:(C,x),y),z),u) -> :'(:(x,y),z)

:'(:(:(:(C,x),y),z),u) -> :'(x,y)

Furthermore,

R

↳DPs

→DP Problem 1

↳Remaining Obligation(s)

The following remains to be proven:

**:'(:(:(:(C, x), y), z), u) -> :'(x, y)**

:(:(:(:(C,x),y),z),u) -> :(:(x,z), :(:(:(x,y),z),u))

innermost

Duration:

0:00 minutes