On Reachability Games of Ordinal Length.

Julien Cristau, Florian Horn

Browse the full SOFSEM paper archive.