On the complexity of reasoning in Kleene algebra (1997)

by D Kozen
Venue:In Proc. 12th Symp. Logic in Comput. Sci