Once upon a time in the west – Determinacy‚ definability and complexity of path games
D. Berwanger‚ E. Grädel and S. Kreutzer
Book Title
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
Year
2003