Dexter Kozen Frederick Smith Kleene Algebra with Tests: Completeness and Decidability. 244-259 1996 conf/csl/1996 CSL db/conf/csl/csl96.html#KozenS96 https://doi.org/10.1007/3-540-63172-0_43