TY  - JOUR

T1  - Kleene algebra with domain

JO  - CoRR

PY  - 2003/01/01

AU  - Desharnais J

AU  - Möller B

AU  - Struth G

ED  - 

VL  - cs.LO/0310054

Y2  - 2025/12/03

ER  -