(VAR )
(RULES
  -(+(x,-(x))) -> 0
  +(x,-(x)) -> 0
  0 -> -(0)
)
(COMMENT Example 3 of DOI:10.1007/s00200-004-0148-6)