@article{DawarGraKre06,
  title = "Backtracking Games and Inflationary Fixed Points",
  author = "Anuj Dawar and Erich Gr{\"a}del and Stephan Kreutzer",
  year = "2006",
  journal = "Theoretical Computer Science",
  note = "ICALP 2004 Selected Paper issue",
  number = "2-3",
  pages = "171 -- 187",
  volume = "350",
}