(VAR )
(RULES
  -(+(x,-(x))) -> 0
  +(x,-(x)) -> 0
  0 -> -(0)
)
(COMMENT
doi:10.1007/s00200-004-0148-6
[40] Example 3
)