On the complexity of reasoning in Kleene algebra (0)

by D Kozen
Venue:Information and Computation