/home/nowonder/forschung/aprove/TPDB05/TRS/various/27.trs

The program

(VAR x y z)
(RULES
g(x,a,b) -> g(b,b,a)
)
(COMMENT Example 1 in \cite{KV01})