TY  - RPRT
TI  - Free Kleene algebras with domain
AU  - Brett McLean
PY  - 2020
DO  - 10.1016/j.jlamp.2020.100606
UR  - https://arxiv.org/abs/1907.10386
ID  - 1907.10386
ER  -