@article{Otto1996,
  author = {Otto, Martin},
  volume = {61},
  year = {1996},
  journal = {Journal of Symbolic Logic},
  title = {The expressive power of fixed-point logic with counting},
  pages = {147-176},
}