TY - JOUR T1 - Kleene algebra with domain JO - ACM T COMPUT LOG PY - 2006/10/01 AU - Desharnais J AU - Moller B AU - Struth G ED - VL - 7 IS - 4 SP - 798 EP - 833 Y2 - 2024/12/25 ER -