(VAR )
(RULES
  f(f(a)) -> f(f(f(a)))
  f(f(a)) -> f(a)
)
(COMMENT
doi:10.1007/s00200-004-0148-6
[40] Example 1
)