On the Representation of Kleene Algebras with Tests.

Dexter Kozen

Browse the full MFCS paper archive.