@article{K02f,
  volume="179",
  author="Dexter Kozen",
  title="On the complexity of reasoning in {K}leene algebra",
  pages="152--162",
  year="2002",
  journal="Information and Computation"
}