TY  - RPRT
TI  - Modularizing the Elimination of r=0 in Kleene Algebra
AU  - Christopher Hardin
PY  - 2006
DO  - 10.2168/lmcs-1(3:4)2005
UR  - https://arxiv.org/abs/cs/0511097
ID  - cs/0511097
ER  -