Christopher Hardin Modularizing the Elimination of r=0 in Kleene Algebra http://arxiv.org/abs/cs/0511097 2005 CoRR abs/cs/0511097 db/journals/corr/corr0511.html#abs-cs-0511097 informal publication