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

The program

(VAR x y)
(RULES
f(a) -> f(b)
g(b) -> g(a)
f(x) -> g(x)
)

(COMMENT
Example 4 in \cite{G96}.
)