On the Complexity of Reasoning in Kleene Algebra (1997)

by Dexter Kozen
Venue:Information and Computation