rev(a) -> a

rev(b) -> b

rev(++(

rev(++(

R

↳Dependency Pair Analysis

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

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

REV(++(x,x)) -> REV(x)

Furthermore,

R

↳DPs

→DP Problem 1

↳Remaining Obligation(s)

The following remains to be proven:

**REV(++( x, x)) -> REV(x)**

rev(a) -> a

rev(b) -> b

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

rev(++(x,x)) -> rev(x)

Duration:

0:00 minutes