Keyword: kleene algebra

• ATBR: A tactic for deciding Kleene algebras
  Damien Pous, Thomas Braibant
• RegExp: Regular Expression
  Takashi Miyamoto