@inproceedings{Blumensath00,
  title = {{Bounded Arithmetic and Descriptive Complexity}},
  pages = {232--246},
  author = {A. Blumensath},
  booktitle = {{Proc.\ 14th Ann. Conference of the European Association for
               Computer Science Logic, LNCS 1862}},
  year = 2000,
}