@InProceedings{thielscher:AAAI11a,
  author = 	"Ji Ruan and Michael Thielscher",
  title =       "The Epistemic Logic Behind the Game Description Language",
  booktitle =   "Proceedings of the AAAI Conference on Artificial Intelligence",
  year = 	2011,
  pages =	"840--845",
  address = 	"San Francisco",
  publisher = 	"AAAI Press",
  month =       aug
}