@article{article, title = {{Kleene algebra with domain}}, url = {{}}, year = {{2006}}, month = {{10}}, author = {{Desharnais J and Möller B and Struth G}}, volume = {{cs.LO/0310054}}, journal = {{CoRR}}, note = {{Accessed on 2024/12/25}}}