A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events
Dexter C. Kozen · Information and Computation · 1994
We give a finitary axiomatization of the algebra of regular events involving only equations and equational implications. Unlike Salomaa′s axiomatizations, the axiomatization given here is sound for all interpretations over Kleene algebras.