%% This BibTeX bibliography file was created using BibDesk.
%% http://bibdesk.sourceforge.net/


%% Created for Sebastiaan Joosten at 2021-04-22 22:55:14 -0400 


%% Saved with string encoding Unicode (UTF-8) 



@article{Parity_Game-AFP,
	author = {Christoph Dittmann},
	date-added = {2021-04-22 22:55:11 -0400},
	date-modified = {2021-04-22 22:55:11 -0400},
	issn = {2150-914x},
	journal = {Archive of Formal Proofs},
	month = nov,
	note = {\url{https://isa-afp.org/entries/Parity_Game.html}, Formal proof development},
	title = {Positional Determinacy of Parity Games},
	year = 2015}

@inproceedings{ZF13,
	author = {Zermelo, Ernst},
	booktitle = {Proceedings of the fifth international congress of mathematicians},
	date-added = {2021-04-22 20:21:47 -0400},
	date-modified = {2021-04-22 20:21:55 -0400},
	organization = {Cambridge University Press Cambridge, UK},
	pages = {501--504},
	title = {{\"U}ber eine Anwendung der Mengenlehre auf die Theorie des Schachspiels},
	volume = {2},
	year = {1913}}

@article{GS53,
	author = {Gale, David and Stewart, Frank M},
	date-added = {2021-04-22 20:10:31 -0400},
	date-modified = {2021-04-22 20:10:42 -0400},
	journal = {Contributions to the Theory of Games},
	number = {245-266},
	pages = {2--16},
	title = {Infinite games with perfect information},
	volume = {2},
	year = {1953}}

@book{LNCS2283,
	author = {Tobias Nipkow and Lawrence Paulson and Markus Wenzel},
	note = {\url{http://www.in.tum.de/~nipkow/LNCS2283/}},
	publisher = Springer,
	series = LNCS,
	title = {Isabelle/HOL --- A Proof Assistant for Higher-Order Logic},
	volume = 2283,
	year = 2002}
