@inproceedings{DawarGraKre04,
  author = "Anuj Dawar and Erich Gr{\"a}del and Stephan Kreutzer",
  booktitle = "31st International Colloquium on Automata, Languages and Programming (ICALP)",
  title = "Backtracking games and inflationary fixed points",
  year = "2004",
}