@article{article, title = {{Kleene algebra with domain}}, url = {{}}, year = {{2006}}, month = {{10}}, author = {{Desharnais J and Moller B and Struth G}}, volume = {{7}}, journal = {{ACM T COMPUT LOG}}, issue = {{4}}, pages = {{798-833}}, note = {{Accessed on 2025/04/08}}}