@inproceedings{BerwangerGraKre03,
  title = "Once upon a time in the west -- Determinacy, definability and complexity of path games",
  author = "D. Berwanger and E. Gr\"adel and S. Kreutzer",
  year = "2003",
  booktitle = "Proceedings of the 10th International Conference on Logic for Programming and Automated Reasoning",
  editor = "M. Vardi and A. Voronkov",
  pages = "226 -- 240",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "2850",
}