@article{DawarKre04,
  author = "Anuj Dawar and Stephan Kreutzer",
  journal = "Theoretical Computer Science",
  number = "1-2",
  pages = "266 -- 285",
  title = "Generalising Automaticity to Model Properties of Finite Structures",
  volume = "379",
  year = "2007",
}