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

The program

(VAR X)
(RULES

f(s(X),X) -> f(X,a(X))
f(X,c(X)) -> f(s(X),X)
f(X,X) -> c(X)

)

Submit to AProVE Web Frontend

Edit in AProVE Web Frontend