(CONDITIONTYPE ORIENTED)
(VAR x)
(RULES
  a -> b
  a -> c
  b -> c | b == c
)
(COMMENT
  \cite{M90}, Example 1.1
  doi: 10.1007/3-540-54317-1_99
)