Keyword: reflexive tactic

• AACTactics: AAC tactics
  Damien Pous, Thomas Braibant
• ATBR: A tactic for deciding Kleene algebras
  Damien Pous, Thomas Braibant