@inproceedings{FDG-2015-Martens,
	author        = "Chris Martens",
	booktitle     = "{Proceedings of the 10th International Conference on the Foundations of Digital Games}",
	ee            = "http://www.fdg2015.org/papers/fdg2015_doccon_01.pdf",
	publisher     = "{Society for the Advancement of the Science of Digital Games}",
	title         = "{Using Proof Theory to Study Game Mechanics}",
	year          = 2015,
}