@article(blackwell,
 author       = "D. Blackwell",
 year         = "1969",
 title        = "Infinite {$G_\delta $} games with imperfect information",
 journal      = "Zastowania Matematyki Applicationes Mathematicae",
)
@article(harrenstein,
 author       = "Felix Brandt and Markus Brill and Felix Fischer and Paul Harrenstein",
 year         = "2011",
 title        = "On the Complexity of Iterated Weak Dominance in Constant-sum Games",
 journal      = "Theory of Computing Systems",
 volume       = "49",
 number       = "1",
 pages        = "162--181",
 url          = "http://dx.doi.org/10.1007/s00224-010-9282-7",
)
@article(paulybrattka,
 author       = "Vasco Brattka and Matthew de Brecht and Arno Pauly",
 year         = "2012",
 title        = "Closed Choice and a Uniform Low Basis Theorem",
 journal      = "Annals of Pure and Applied Logic",
 volume       = "163",
 number       = "8",
 pages        = "968--1008",
 doi          = "10.1016/j.apal.2011.12.020",
)
@article(brattka3,
 author       = "Vasco Brattka and Guido Gherardi",
 year         = "2011",
 title        = "Effective Choice and Boundedness Principles in Computable Analysis",
 journal      = "Bulletin of Symbolic Logic",
 volume       = "1",
 pages        = "73 -- 117",
 doi          = "10.2178/bsl/1294186663",
 note         = "ArXiv:0905.4685",
)
@incollection(paulybrattka3cie,
 author       = "Vasco Brattka and St\'ephane Le Roux and Arno Pauly",
 year         = "2012",
 title        = "On the Computational Content of the {B}rouwer Fixed Point Theorem",
 editor       = "S.Barry Cooper and Anuj Dawar and Benedikt L\"owe",
 booktitle    = "How the World Computes",
 series       = "Lecture Notes in Computer Science",
 volume       = "7318",
 publisher    = "Springer Berlin Heidelberg",
 pages        = "56--67",
 doi          = "10.1007/978-3-642-30870-3\_7",
)
@article(denge,
 author       = "Xi Chen and Xiaotie Deng and Shang-Hua Teng",
 year         = "2009",
 title        = "Settling the Complexity of Computing Two-player Nash Equilibria",
 journal      = "J. ACM",
 volume       = "56",
 number       = "3",
 pages        = "14:1--14:57",
 doi          = "10.1145/1516512.1516516",
)
@incollection(daskalakis,
 author       = "Constantinos Daskalakis and Paul Goldberg and Christos Papadimitriou",
 year         = "2006",
 title        = "The Complexity of Computing a {N}ash Equilibrium",
 booktitle    = "38th ACM Symposium on Theory of Computing",
 pages        = "71--78",
 doi          = "10.1145/1132516.1132527",
)
@book(downeyfellows,
 author       = "Rod Downey and Michael Fellows",
 year         = "1999",
 title        = "Parameterized Complexity",
 publisher    = "Springer",
 doi          = "10.1007/978-1-4612-0515-9",
)
@inproceedings(estivill,
 author       = "Vladimir Estivill-Castro and Mahdi Parsa",
 year         = "2009",
 title        = "Computing {N}ash equilibria Gets Harder {--} New Results Show Hardness Even for Parameterized Complexity",
 editor       = "Rod Downey and Prabhu Manyem",
 booktitle    = "CATS 2009",
 series       = "CRPIT",
 volume       = "94",
)
@incollection(estivill2,
 author       = "Vladimir Estivill-Castro and Mahdi Parsa",
 year         = "2011",
 title        = "Single Parameter FPT-Algorithms for Non-trivial Games",
 editor       = "Costas Iliopoulos and William Smyth",
 booktitle    = "Combinatorial Algorithms",
 series       = "Lecture Notes in Computer Science",
 volume       = "6460",
 publisher    = "Springer",
 pages        = "121--124",
 url          = "http://dx.doi.org/10.1007/978-3-642-19222-7_13",
)
@inproceedings(gilpin,
 author       = "Andrew Gilpin and Javier Pena and Samid Hoda and Tuomas Sandholm",
 year         = "2007",
 title        = "Gradient-based algorithms for finding {N}ash equilibria in extensive form games",
 booktitle    = "Proceedings of the 18th Int Conf on Game Theory",
 doi          = "10.1007/978-3-540-77105-0\_9",
)
@article(govindan,
 author       = "Srihari Govindan and Robert Wilson",
 year         = "2003",
 title        = "A Global Newton Method to Compute Nash Equilibria",
 journal      = "Journal of Economic Theory",
 volume       = "110",
 number       = "1",
 pages        = "65--86",
 doi          = "10.1016/S0022-0531(03)00005-X",
)
@article(hermelin,
 author       = "Danny Hermelin and Chien-Chung Huang and Stefan Kratsch and Magnus Wahlstr{\"o}m",
 year         = "2010",
 title        = "Parameterized Two-Player Nash Equilibrium",
 journal      = "CoRR",
 volume       = "abs/1006.2063",
 url          = "http://arxiv.org/abs/1006.2063",
)
@article(paulykojiro,
 author       = "Kojiro Higuchi and Arno Pauly",
 year         = "2013",
 title        = "The degree-structure of {W}eihrauch-reducibility",
 journal      = "Logical Methods in Computer Science",
 volume       = "9",
 number       = "2",
 doi          = "10.2168/LMCS-9(2:2)2013",
)
@phdthesis(jiang,
 author       = "Xiang Jiang",
 year         = "2011",
 title        = "Efficient Decomposition of Games",
 type         = "Bachelor's thesis",
 school       = "University of Cambridge",
)
@misc(pauly-xiang-arxiv,
 author       = "Xiang Jiang and Arno Pauly",
 year         = "2012",
 title        = "Efficient Decomposition of Bimatrix Games",
 howpublished = "http://arxiv.org/abs/1212.6355",
)
@article(knuth,
 author       = "Donald Knuth and Christos Papadimitriou and John Tsitsiklis",
 year         = "1988",
 title        = "A note on strategy elimination in bimatrix games",
 journal      = "Operations Research Letters",
 volume       = "7",
 number       = "3",
 pages        = "103--107",
 doi          = "10.1016/0167-6377(88)90075-2",
)
@misc(paulyleroux2-arxiv,
 author       = "St\'ephane Le Roux and Arno Pauly",
 year         = "2014",
 title        = "Infinite sequential games with real-valued payoffs",
 howpublished = "arXiv:1401.3325",
)
@article(martin2,
 author       = "Donald A. Martin",
 year         = "1998",
 title        = "The Determinacy of Blackwell Games",
 journal      = "Journal of Symbolic Logic",
 volume       = "63",
 number       = "4",
 pages        = "1565--1581",
 doi          = "10.2307/2586667",
)
@misc(gambit,
 author       = "Richard McKelvey and Andrew McLennan and Theodore Turocy",
 year         = "2010",
 title        = "Gambit: Software Tools for Game Theory",
 howpublished = "http://www.gambit-project.org",
 note         = "Version 0.2010.09.01",
)
@article(papadimitrioub,
 author       = "Christos H. Papadimitriou",
 year         = "1994",
 title        = "On the complexity of the parity argument and other inefficient proofs of existence",
 journal      = "Journal of Computer and Systems Science",
 volume       = "48",
 number       = "3",
 pages        = "498--532",
 doi          = "10.1016/S0022-0000(05)80063-7",
)
@misc(paulycomplexityofise,
 author       = "Arno Pauly",
 year         = "2009",
 title        = "The Complexity of Iterated Strategy Elimination",
 howpublished = "arXiv:0910.5107",
)
@article(paulyincomputabilitynashequilibria,
 author       = "Arno Pauly",
 year         = "2010",
 title        = "How Incomputable is Finding {N}ash Equilibria?",
 journal      = "Journal of Universal Computer Science",
 volume       = "16",
 number       = "18",
 pages        = "2686--2710",
 doi          = "10.3217/jucs-016-18-2686",
)
@phdthesis(paulyphd,
 author       = "Arno Pauly",
 year         = "2012",
 title        = "Computable Metamathematics and its Application to Game Theory",
 school       = "University of Cambridge",
)