On the Complexity of Reasoning in Kleene Algebra.

Dexter Kozen

Browse the full LICS paper archive.