(VAR x)
(RULES
  F(x) -> A
  F(x) -> G(F(x))
  G(F(x)) -> F(H(x))
  G(F(x)) -> B
)
(COMMENT
doi:10.1145/322217.322230
[12] p. 811
submitted by: Takahito Aoto, Junichi Yoshida, and Yoshihito Toyama
)