@article{BlumensathGraedel04,
  pages = {641--674},
  title = {{Finite Presentations of Infinite Structures: Automata and
           Interpretations}},
  author = {A. Blumensath and E. {Gr\"adel}},
  journal = {Theory of Computing Systems},
  volume = 37,
  year = {2004},
}