@InProceedings{thielscher:AAAI11b,
  author = 	"Stephan Schiffel and Michael Thielscher",
  title =       "Reasoning About General Games Described in {GDL-II}",
  booktitle =   "Proceedings of the AAAI Conference on Artificial Intelligence",
  year = 	2011,
  pages =	"846--851",
  address = 	"San Francisco",
  publisher = 	"AAAI Press",
  month =       aug
}