@InProceedings{thielscher:KR12,
  author = 	"Sebastian Haufe and Michael Thielscher",
  title =       "Automated Verification of Epistemic Properties for General Game Playing",
  booktitle =   "Proceedings of the International Conference on
		Principles of Knowledge Representation and Reasoning (KR)",
  year = 	2012,
  pages =	"",
  address = 	"Rome",
  month =       june
}