@inproceedings{inproceedings, title = {{Automated reasoning in kleene algebra}}, url = {{}}, year = {{2007}}, month = {{1}}, author = {{Hofner P and Struth G}}, volume = {{4603}}, journal = {{Automated Deduction - CADE-21, Proceedings}}, pages = {{279-294}}, note = {{Accessed on 2025/06/24}}}