/home/nowonder/forschung/aprove/TPDB05/TRS/HM/n007.trs

The program

(VAR x y)
(RULES
f(x,y) -> f(x,x)
f(s(x),y) -> f(y,x)
)
(COMMENT
Non-terminating.
)