@incollection{BGRsurvey,
  title = "Automata-based presentations of infinite structures",
  author = "Vince Barany and Erich Graedel and Sasha Rubin",
  year = "2010",
  url = "http://web.comlab.ox.ac.uk/people/vince.barany/BGRsurvey.pdf",
}