Keyword: rewriting modulo ac

• AACTactics: AAC tactics
  Damien Pous, Thomas Braibant