@article{KOZEN1994366,
 title = {A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events},
 author = {D. Kozen},
 year = {1994},
 doi = {https://doi.org/10.1006/inco.1994.1037},
 url = {https://www.sciencedirect.com/science/article/pii/S0890540184710376},
 journal = {Information and Computation},
 volume = {110},
 number = {2},
 pages = {366-390},
 abstract = {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.},
 issn = {0890-5401}
}