@article{ITA_2016__50_2_145_0,
     author = {Zimmermann, Martin},
     title = {Delay {Games} with {WMSO}$+${U} {Winning} {Conditions}},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     pages = {145--165},
     publisher = {EDP-Sciences},
     volume = {50},
     number = {2},
     year = {2016},
     doi = {10.1051/ita/2016018},
     mrnumber = {3580108},
     zbl = {1356.68138},
     language = {en},
     url = {http://www.numdam.org/articles/10.1051/ita/2016018/}
}