@inproceedings{BlumensathGraedel00,
  pages = {51--62},
  title = {{Automatic Structures}},
  author = {A. Blumensath and E. {Gr\"adel}},
  booktitle = {{Proc.\ 15th IEEE Symp.\ on Logic in Computer Science, LICS}},
  year = 2000,
}