Dexter Kozen
On the Complexity of Reasoning in Kleene Algebra
LICS, 1997.
@inproceedings{LICS-1997-Kozen, author = "Dexter Kozen", booktitle = "{Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science}", doi = "10.1109/LICS.1997.614947", isbn = "0-8186-7925-5", pages = "195--202", publisher = "{IEEE Computer Society}", title = "{On the Complexity of Reasoning in Kleene Algebra}", year = 1997, }