Dexter Kozen. On the Representation of Kleene Algebras with Tests. In Rastislav Kralovic, Pawel Urzyczyn, editors, Mathematical Foundations of Computer Science 2006, 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, Proceedings. Volume 4162 of Lecture Notes in Computer Science, pages 73-83, Springer, 2006. [doi]
Abstract is missing.