(VAR )
(RULES
  f(a) -> f(g(b,b))
  a -> g(c,c)
  c -> d
  d -> b
  b -> d
)
(COMMENT
doi:10.1007/3-540-61064-2_39
[10] Example 6
submitted by: Takahito Aoto, Junichi Yoshida, and Yoshihito Toyama
)