@InProceedings{HS07, Author = "H{\"o}fner, P. and Struth, G.", Year = "2007", Title = "{Automated Reasoning in Kleene Algebra}", Editor = "Pfenning, F.", BookTitle = "{Proceedings of the 21st International Conference on Automated Deduction}", Place = "Bremen, Germany", Series = "Lecture Notes in Artificial Intelligence", Number = "4603", Pages = "279-294", Publisher = "Springer-Verlag", Comment = "TPTPRef" }