@InProceedings{thielscher:AAAI10b,
  author = 	"Michael Thielscher and Sebastian Voigt",
  title =       "A Temporal Proof System for General Game Playing",
  booktitle =   "Proceedings of the AAAI Conference on Artificial Intelligence",
  year = 	2010,
  pages =	"1000-1005",
  address = 	"Atlanta",
  publisher = 	"AAAI Press",
  month =       jul
}