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

The program

(RULES
g(b) -> f(b)
f(a) -> g(a)
b    -> a
)

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