Kleene Algebra with Tests: Completeness and Decidability.

Dexter Kozen, Frederick Smith

Browse the full CSL paper archive.