(VAR )
(RULES
  a -> f(a,b)
  f(a,b) -> f(b,a)
)
(COMMENT
doi:10.1016/0890-5401(90)90015-A
[24] Example 1
submitted by: Takahito Aoto, Junichi Yoshida, and Yoshihito Toyama
)