@inproceedings{DawarKre02,
  title = "Generalising Automaticity to Modal Properties of Finite Structures",
  author = "A. Dawar and S. Kreutzer",
  year = "2002",
  booktitle = "Proc. 22nd Conf. on Foundations of Software Technology and Theoretical Computer Science (FSTTCS)",
  pages = "109--120",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "2556",
}