(VAR x)
(RULES
  f(f(x)) -> f(g(f(x)))
)
(COMMENT
doi:10.1006/jsco.1994.1003
[26] p. 27
submitted by: Takahito Aoto, Junichi Yoshida, and Yoshihito Toyama
)