@article(aumann4,
 author       = {Robert J. Aumann},
 year         = {1995},
 title        = {Backward induction and common knowledge of rationality},
 journal      = {Games and Economic Behavior},
 volume       = {8},
 number       = {1},
 pages        = {6 -- 19},
 doi          = {10.1016/S0899-8256(05)80015-6},
)
@article(aumann5,
 author       = {Robert J. Aumann and Adam Brandenburger},
 year         = {1995},
 title        = {Epistemic Conditions for Nash Equilibrium},
 journal      = {Econometrica},
 volume       = {63},
 number       = {5},
 pages        = {1161--1180},
 doi          = {10.2307/2171725},
)
@article(boros,
 author       = {Endre Boros and Khaled Elbassioni and Vladimir Gurvich and Kazuhisa Makino},
 year         = {2012},
 title        = {On {N}ash equilibria and improvement cycles in pure positional strategies for Chess-like and Backgammon-like {$n$}-person games},
 journal      = {Discrete Mathematics},
 volume       = {312},
 number       = {4},
 pages        = {772 -- 788},
 doi          = {10.1016/j.disc.2011.11.011},
)
@article(gherardi4,
 author       = {Vasco Brattka and Guido Gherardi and Alberto Marcone},
 year         = {2012},
 title        = {The {B}olzano-{W}eierstrass {T}heorem is the Jump of {W}eak {K}\"onig's {L}emma},
 journal      = {Annals of Pure and Applied Logic},
 volume       = {163},
 number       = {6},
 pages        = {623--625},
 doi          = {10.1016/j.apal.2011.10.006},
 note         = {Also arXiv:1101.0792},
)
@article(cressman2,
 author       = {R. Cressman and K.H. Schlag},
 year         = {1998},
 title        = {The Dynamic (In)Stability of Backwards Induction},
 journal      = {Journal of Economic Theory},
 volume       = {83},
 number       = {2},
 pages        = {260 -- 285},
 doi          = {10.1006/jeth.1996.2465},
)
@book(cressman,
 author       = {Ross Cressman},
 year         = {2003},
 title        = {Evolutionary Dynamics and Extensive Form Games},
 publisher    = {MIT Press},
)
@incollection(gale2,
 author       = {D. Gale and F.M. Stewart},
 year         = {1953},
 title        = {Infinite games with perfect information},
 booktitle    = {Contributions to the theory of games},
 series       = {Annals of Mathematical Studies},
 volume       = {28},
 publisher    = {Princeton University Press},
 pages        = {245--266},
 doi          = {10.1515/9781400881970-014},
)
@misc(hart2,
 author       = {Sergiu Hart},
 year         = {2008},
 title        = {Dynamics and Equilibria},
 howpublished = {GAMES 2008},
)
@article(hart,
 author       = {Sergiu Hart and Mas-Colell, Andreu},
 year         = {2000},
 title        = {A simple adaptive procedure leading to correlated equilibrium},
 journal      = {Econometrica},
 volume       = {68},
 pages        = {1127--1150},
 doi          = {10.1111/1468-0262.00153},
)
@article(kukushkin2,
 author       = {Nikolai S. Kukushkin},
 year         = {2002},
 title        = {Perfect Information and Potential Games},
 journal      = {Games and Economic Behavior},
 volume       = {38},
 number       = {2},
 pages        = {306 -- 317},
 doi          = {10.1006/game.2001.0859},
)
@article(kukushkin3,
 author       = {Nikolai S. Kukushkin},
 year         = {2011},
 title        = {Acyclicity of improvements in finite game forms},
 journal      = {International Journal of Game Theory},
 volume       = {40},
 number       = {1},
 pages        = {147--177},
 doi          = {10.1007/s00182-010-0231-0},
)
@phdthesis(SLR-PhD08,
 author       = {Le Roux, St{\'e}phane},
 year         = {2008},
 title        = {Generalisation and formalisation in game theory},
 type         = {Ph.{D}. thesis},
 school       = {{E}cole {N}ormale {S}up\'erieure de {L}yon},
)
@inproceedings(SLR09,
 author       = {Le Roux, St{\'e}phane},
 year         = {2009},
 title        = {Acyclic preferences and existence of sequential {N}ash equilibria: a formal and constructive equivalence},
 booktitle    = {TPHOLs, International Conference on Theorem Proving in Higher Order Logics},
 series       = {Lecture Notes in Computer Science},
 publisher    = {Springer},
 pages        = {293--309},
 doi          = {10.1007/978-3-642-03359-9\_21},
)
@article(leroux3,
 author       = {Le Roux, St\'ephane},
 year         = {2013},
 title        = {Infinite Sequential {N}ash Equilibria},
 journal      = {Logical Methods in Computer Science},
 volume       = {9},
 number       = {2},
 doi          = {10.2168/LMCS-9(2:3)2013},
)
@misc(leroux2,
 author       = {Le Roux, St\'ephane and Arno Pauly},
 year         = {2013},
 title        = {A semi-potential for finite and infinite sequential games},
 howpublished = {arXiv:1309.2798},
 url          = {http://arxiv.org/abs/1309.2798},
)
@inproceedings(paulyleroux2,
 author       = {Le Roux, St{\'e}phane and Arno Pauly},
 year         = {2014},
 title        = {Infinite Sequential Games with Real-valued Payoffs},
 booktitle    = {CSL-LICS '14},
 publisher    = {ACM},
 pages        = {62:1--62:10},
 doi          = {10.1145/2603088.2603120},
)
@misc(paulyleroux3-arxiv,
 author       = {Le Roux, St\'ephane and Arno Pauly},
 year         = {2014},
 title        = {Weihrauch degrees of finding equilibria in sequential games},
 howpublished = {arXiv:1407.5587},
 url          = {http://arxiv.org/abs/1407.5587},
)
@incollection(paulyleroux3-cie,
 author       = {Le Roux, St\'ephane and Arno Pauly},
 year         = {2015},
 title        = {Weihrauch Degrees of Finding Equilibria in Sequential Games},
 editor       = {Arnold Beckmann and Victor Mitrana and Mariya Soskova},
 booktitle    = {Evolving Computability},
 series       = {Lecture Notes in Computer Science},
 volume       = {9136},
 publisher    = {Springer},
 pages        = {246--257},
 doi          = {10.1007/978-3-319-20028-6\_25},
)
@article(martin,
 author       = {Donald A. Martin},
 year         = {1975},
 title        = {Borel Determinacy},
 journal      = {Annals of Mathematics},
 volume       = {102},
 number       = {2},
 pages        = {pp. 363--371},
 doi          = {10.2307/1971035},
)
@article(shapley,
 author       = {D. Monderer and L.S. Shapley},
 year         = {1996},
 title        = {Potential games},
 journal      = {Games and Economic Behavior},
 volume       = {14},
 number       = {124},
 pages        = {124--143},
 doi          = {10.1006/game.1996.0044},
)
@misc(pauly-ordinals,
 author       = {Arno Pauly},
 year         = {2015},
 title        = {Computability on the countable ordinals and the {H}ausdorff-{K}uratowski theorem},
 howpublished = {arXiv 1501.00386},
 url          = {http://arxiv.org/abs/1501.00386},
)
@article(erev,
 author       = {Alvin E. Roth and Ido Erev},
 year         = {1995},
 title        = {Learning in extensive form games: {E}xperimental data and simple dynamic models in the intermediate term},
 journal      = {Games and Economic Behaviour},
 volume       = {8},
 pages        = {164--212},
 doi          = {10.1016/S0899-8256(05)80020-X},
)
@article(solan,
 author       = {Eilon Solan and Nicolas Vieille},
 year         = {2003},
 title        = {Deterministic multi-player Dynkin games},
 journal      = {Journal of Mathematical Economics},
 volume       = {39},
 number       = {8},
 pages        = {911 -- 929},
 doi          = {10.1016/S0304-4068(03)00021-1},
)
@techreport(ziboxu,
 author       = {Zibo Xu},
 year         = {2013},
 title        = {Convergence of best-response dynamics in extensive-form games},
 type         = {SSE/EFI Working Paper Series in Economics and Finance},
 number       = {745},
 institution  = {Stockholm School of Economics},
)