"On the Complexity of Reasoning in Kleene Algebra."

Dexter Kozen (1997)
a service of Schloss Dagstuhl - Leibniz Center for Informatics