+(0,

+(s(

+(s(

R

↳Dependency Pair Analysis

+'(s(x),y) -> +'(x,y)

+'(s(x),y) -> +'(x, s(y))

Furthermore,

R

↳DPs

→DP Problem 1

↳Remaining Obligation(s)

The following remains to be proven:

**+'(s( x), y) -> +'(x, s(y))**

+(0,y) ->y

+(s(x),y) -> s(+(x,y))

+(s(x),y) -> +(x, s(y))

Duration:

0:00 minutes