@inproceedings{CIG-2010-SmithNM,
	author        = "Adam M. Smith and Mark J. Nelson and Michael Mateas",
	booktitle     = "{Proceedings of the Sixth Conference on Computational Intelligence and Games}",
	doi           = "10.1109/ITW.2010.5593368",
	isbn          = "978-1-4244-6295-7",
	pages         = "91--98",
	publisher     = "{IEEE}",
	title         = "{LUDOCORE: A logical game engine for modeling videogames}",
	year          = 2010,
}