An e!cient Coq tactic for deciding Kleene algebras. In: (2010)

by T Braibant, D Pous
Venue:Proc. 1st ITP. Volume 6172 of LNCS.,