@inproceedings{10.1007/978-3-540-39813-4_16,
    Abstract = {We study determinacy, definability and complexity issues of path games on finite and infinite graphs.},
    Address = {Berlin, Heidelberg},
    Author = {Berwanger, Dietmar and Gr{\"a}del, Erich and Kreutzer, Stephan},
    BookTitle = {Logic for Programming, Artificial Intelligence, and Reasoning},
    Editor = {Vardi, Moshe Y. and Voronkov, Andrei},
    File = {7f9b0a99985e87b8d473305dd66d621fd23b (0) - a - a - z.pdf},
    ISBN = {978-3-540-39813-4},
    Pages = {229--243},
    Publisher = {Springer Berlin Heidelberg},
    Title = {Once upon a Time in the West},
    Year = {2003},
    date-added = {2018-03-07 12:47:12 +0000},
    date-modified = {2018-03-07 12:47:12 +0000},
    doi = {10.1007/978-3-540-39813-4_16}
}

@inproceedings{10.1007/978-3-540-39813-4_16, Abstract = {We study determinacy, definability and complexity issues of path games on finite and infinite graphs.}, Address = {Berlin, Heidelberg}, Author = {Berwanger, Dietmar and Gr{\"a}del, Erich and Kreutzer, Stephan}, BookTitle = {Logic for Programming, Artificial Intelligence, and Reasoning}, Editor = {Vardi, Moshe Y. and Voronkov, Andrei}, File = {7f9b0a99985e87b8d473305dd66d621fd23b (0) - a - a - z.pdf}, ISBN = {978-3-540-39813-4}, Pages = {229--243}, Publisher = {Springer Berlin Heidelberg}, Title = {Once upon a Time in the West}, Year = {2003}, date-added = {2018-03-07 12:47:12 +0000}, date-modified = {2018-03-07 12:47:12 +0000}, doi = {10.1007/978-3-540-39813-4_16} }