Once upon a time in the west – Determinacy‚ definability and complexity of path games - Berwanger, D; Grädel, E; Kreutzer, S (Springer, 2003)