@inproceedings{BlumensathGraedel02,
  title = {{Finite Presentations of Infinite Structures: Automata and
           Interpretations}},
  author = {A. Blumensath and E. {Gr\"adel}},
  year = 2002,
  booktitle = {{Proc.\ 2nd Int.\ Workshop on Complexity in Automata Deduction,
               CiAD}},
}