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


%% Created for Larry Paulson at 2019-10-24 12:42:51 +0100 


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



@inproceedings{obua-partizan-games,
	Author = {Obua, Steven},
	Booktitle = {Theoretical Aspects of Computing --- ICTAC 2006},
	Editor = {Barkaoui, Kamel and Cavalcanti, Ana and Cerone, Antonio},
	Isbn = {978-3-540-48816-3},
	Pages = {272-286},
	Publisher = {Springer},
	Title = {Partizan Games in {Isabelle/HOLZF}},
	Year = {2006}}

@article{kirby-addition,
	Author = {Kirby, Laurence},
	Date-Added = {2013-06-24 09:11:53 +0000},
	Date-Modified = {2013-06-24 09:11:53 +0000},
	Doi = {10.1002/malq.200610026},
	Issn = {1521-3870},
	Journal = {Mathematical Logic Quarterly},
	Keywords = {Ordinal arithmetic, adduction, finite set theory},
	Number = {1},
	Pages = {52-65},
	Publisher = {Wiley},
	Title = {Addition and multiplication of sets},
	Url = {https://doi.org/10.1002/malq.200610026},
	Volume = {53},
	Year = {2007},
	Bdsk-Url-1 = {https://doi.org/10.1002/malq.200610026}}
