/home/nowonder/forschung/aprove/TPDB05/TRS/Rubio/test829.trs

The program

(VAR X Y)
(RULES

f(c(X,s(Y))) -> f(c(s(X),Y))
g(c(s(X),Y)) -> f(c(X,s(Y)))
)

Submit to AProVE Web Frontend

Edit in AProVE Web Frontend