D.: An efficient Coq tactic for deciding Kleene algebras (2010)

by T Braibant, Pous
Venue:ITP 2010. LNCS