TY  - RPRT
TI  - Kleene algebra with domain
AU  - J. Desharnais
AU  - B. Möller
AU  - G. Struth
PY  - 2003
UR  - https://arxiv.org/abs/cs/0310054
ID  - cs/0310054
ER  -