@InProceedings{thielscher:IJCAI09,
  author = 	"Stephan Schiffel and Michael Thielscher",
  title =       "Automated Theorem Proving for General Game Playing",
  booktitle =   "Proceedings of the International Joint Conference on
		 Artificial Intelligence ({IJCAI})",
  year = 	2009,
  pages =	"911--916",
  address =	"Pasadena",
  month =       jul
}