(VAR x)
(RULES
  a -> h(c)
  a -> h(f(c))
  h(x) -> h(h(x))
  f(x) -> f(g(x))
)
(COMMENT
doi:10.1007/978-3-642-40885-4_22
[44] Example 8
submitted by: Tsubasa Suzuki, Takahito Aoto, and Yoshihito Toyama
)