@InProceedings{thielscher:ICLP09,
  author = 	"Michael Thielscher",
  title =       "Answer Set Programming for Single-Player Games in General Game Playing",
  booktitle =   "Proceedings of the International Conference on Logic
		 Programming (ICLP)",
  year = 	2009,
  editor =	"P.\ Hill and D.\ Warren",
  pages =	"327--341",
  volume =      "5649",
  series =      "LNCS",
  publisher =	"Springer",
  address =	"Pasadena",
  month =	jul
}