Christopher Hardin Modularizing the Elimination of r=0 in Kleene Algebra. 2005 1 Logical Methods in Computer Science 3 http://dx.doi.org/10.2168/LMCS-1(3:4)2005 db/journals/lmcs/lmcs1.html#Hardin05