TY - JOUR T1 - Kleene algebra with domain JO - CoRR PY - 2006/10/01 AU - Desharnais J AU - Möller B AU - Struth G ED - VL - cs.LO/0310054 Y2 - 2024/12/25 ER -