@Article{thielscher:AIJ12,
  author = 	"Sebastian Haufe and Stephan Schiffel and Michael Thielscher",
  title =       "Automated Verification of State Sequence Invariants in General Game Playing",
  journal = 	"Artificial Intelligence Journal",
  year = 	2012,
  volume = 	"187--188",
  pages = 	"1--30"
}