@unpublished(alglave:inria-00604656,
 author       = {Jade Alglave and Assia Mahboubi},
 year         = {2011},
 title        = {{A Generic Formalised Framework for Reasoning About Weak Memory Models}},
 url          = {https://hal.inria.fr/inria-00604656},
 note         = {Working paper or preprint},
)
@article(1976,
 author       = {K. Appel and W. Haken},
 year         = {1976},
 title        = {Special announcement},
 journal      = {Discrete Mathematics},
 volume       = {16},
 number       = {2},
 pages        = {179--180},
 doi          = {10.1016/0012-365X(76)90147-3},
)
@inproceedings(Brihaye2010,
 author       = {Thomas Brihaye and V{\'e}ronique Bruy{\`e}re and De Pril, Julie},
 year         = {2010},
 title        = {Equilibria in Quantitative Reachability Games},
 editor       = {Farid Ablayev and Ernst W. Mayr},
 booktitle    = {Computer Science -- Theory and Applications: 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {72--83},
 doi          = {10.1007/978-3-642-13182-0_7},
)
@misc(CJKLS2017,
 author       = {Cristian S Calude and Sanjay Jain and Bakhadyr Khoussainov and Wei Li and Frank Stephan},
 year         = {2017},
 title        = {Deciding Parity Games in Quasi-Polynomial Time},
 note         = {Accepted at STOC 2017},
)
@article(CHATTERJEE200667,
 author       = {Krishnendu Chatterjee and Thomas A. Henzinger and Marcin Jurdzi{\'n}ski},
 year         = {2006},
 title        = {Games with secure equilibria},
 journal      = {Theoretical Computer Science},
 volume       = {365},
 number       = {1},
 pages        = {67 -- 82},
 doi          = {10.1016/j.tcs.2006.07.032},
)
@misc(Dittmann2016,
 author       = {Christoph Dittmann},
 year         = {2016},
 title        = {Positional Determinacy of Parity Games},
 url          = {www.isa-afp.org/browser_info/devel/AFP/Parity_Game/outline.pdf},
)
@inproceedings(EJ91,
 author       = {E.A. Emerson and C.S. Jutla},
 year         = {1991},
 title        = {Tree automata, mu-calculus and determinacy},
 booktitle    = {Proceedings 32nd Annual Symposium of Foundations of Computer Science},
 publisher    = {{IEEE} Comput. Soc. Press},
 pages        = {368--377},
 doi          = {10.1109/sfcs.1991.185392},
)
@article(Gibbard73,
 author       = {Allan Gibbard},
 year         = {1973},
 title        = {Manipulation of Voting Schemes: A General Result},
 journal      = {Econometrica},
 volume       = {41},
 number       = {4},
 pages        = {587--601},
 doi          = {10.2307/1914083},
)
@article(Gonthier2008,
 author       = {Georges Gonthier},
 year         = {2008},
 title        = {{Formal Proof---The Four-Color Theorem}},
 journal      = {Notices of the American Mathematical Society},
 volume       = {55},
 number       = {11},
 pages        = {1382--1393},
 url          = {http://www.ams.org/notices/200811/tx081101382p.pdf},
)
@inproceedings(GH82,
 author       = {Y. Gurevich and L. Harrington},
 year         = {1982},
 title        = {Trees, automata, and games},
 booktitle    = {STOC'82},
 publisher    = {ACM Press},
 pages        = {60--65},
 doi          = {10.1145/800070.802177},
)
@article(Gurvich75,
 author       = {Vladimir Gurvich},
 year         = {1975},
 title        = {Solution of positional games in pure strategies},
 journal      = {USSR Comput. Math. and Math. Phys.},
 volume       = {15},
 number       = {2},
 pages        = {358--371},
 doi          = {10.1016/0041-5553(75)90042-7},
 note         = {Originally written in Russian},
)
@article(Gurvich89,
 author       = {Vladimir Gurvich},
 year         = {1989},
 title        = {Equilibrium in pure strategies},
 journal      = {Soviet Math. Dokl},
 volume       = {38},
 number       = {3},
 pages        = {597--602},
)
@inproceedings(LeRoux2009,
 author       = {Le Roux, St{\'e}phane},
 year         = {2009},
 title        = {Acyclic Preferences and Existence of Sequential {N}ash Equilibria: A Formal and Constructive Equivalence},
 editor       = {Stefan Berghofer and Tobias Nipkow and Christian Urban and Makarius Wenzel},
 booktitle    = {Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {293--309},
 doi          = {10.1007/978-3-642-03359-9_21},
)
@article(SLR2014,
 author       = {Le Roux, St{\'{e}}phane},
 year         = {2014},
 title        = {From winning strategy to {N}ash equilibrium},
 journal      = {Math. Log. Q.},
 volume       = {60},
 number       = {4-5},
 pages        = {354--371},
 doi          = {10.1002/malq.201300034},
)
@article(Lescanne2012,
 author       = {Pierre Lescanne and Matthieu Perrinel},
 year         = {2012},
 title        = {``Backward'' coinduction, {N}ash equilibrium and the rationality of escalation},
 journal      = {Acta Informatica},
 volume       = {49},
 number       = {3},
 pages        = {117--137},
 doi          = {10.1007/s00236-012-0153-3},
)
@article(Martin75,
 author       = {Donald A. Martin},
 year         = {1975},
 title        = {Borel Determinacy},
 journal      = {The Annals of Mathematics},
 volume       = {102},
 number       = {2},
 pages        = {363--371},
 doi          = {10.2307/1971035},
)
@unpublished(MDS2017,
 author       = {Martin-Dorel, Erik and Sergei Soloviev},
 year         = {2017},
 title        = {A Formal Study of {B}oolean Games with Random Formulas as Pay Functions},
 url          = {https://www.irit.fr/publis/ACADIE/IRIT-RR-2017-01-FR.pdf},
 note         = {Research Report},
)
@article(MOULIN1982115,
 author       = {H Moulin and B Peleg},
 year         = {1982},
 title        = {Cores of effectivity functions and implementation theory},
 journal      = {Journal of Mathematical Economics},
 volume       = {10},
 number       = {1},
 pages        = {115 -- 145},
 doi          = {10.1016/0304-4068(82)90009-X},
)
@article(VESTERGAARD200646,
 author       = {Ren\'e Vestergaard},
 year         = {2006},
 title        = {A constructive approach to sequential {N}ash equilibria},
 journal      = {Information Processing Letters},
 volume       = {97},
 number       = {2},
 pages        = {46 -- 51},
 doi          = {10.1016/j.ipl.2005.09.010},
)