Marcus Gelderie. Strategy machines: representation and complexity of strategies in infinite games. PhD thesis, RWTH Aachen University, 2014. [doi]
@phdthesis{dnb-3691, title = {Strategy machines: representation and complexity of strategies in infinite games}, author = {Marcus Gelderie}, year = {2014}, url = {http://d-nb.info/105230320X}, researchr = {https://researchr.org/publication/dnb-3691}, cites = {0}, citedby = {0}, school = {RWTH Aachen University}, }