/home/nowonder/forschung/aprove/TPDB05/TRS/nontermin/Rubio-inn/test9.trs

The program

(VAR X Y)
(RULES

f(0,1,X) -> h(X,X)
h(0,X) -> f(0,X,X)
g(X,Y) -> X
g(X,Y) -> Y
)


Submit to AProVE Web Frontend

Edit in AProVE Web Frontend