## Dexter Kozen

*A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events*

LICS, 1991.

@inproceedings{LICS-1991-Kozen, author = "Dexter Kozen", booktitle = "{Proceedings of the Sixth Annual Symposium on Logic in Computer Science}", doi = "10.1109/LICS.1991.151646", isbn = "0-8186-2230-X", pages = "214--225", publisher = "{IEEE Computer Society}", title = "{A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events}", year = 1991, }