Automated reasoning in Kleene algebra (2007)

by Peter Höfner, Georg Struth
Venue:CADE 2007, LNCS 4603