Automated Theorem Proving for General Game Playing

Schiffel and Thielscher. "Automated Theorem Proving for General Game Playing." International Joint Conference on Artificial Intelligence, 2009.

[Schiffel and Thielscher. "Automated Theorem Proving for General Game Playing." International Joint Conference on Artificial Intelligence, 2009.](https://mlanthology.org/ijcai/2009/schiffel2009ijcai-automated/)

@inproceedings{schiffel2009ijcai-automated,
  title     = {{Automated Theorem Proving for General Game Playing}},
  author    = {Schiffel, Stephan and Thielscher, Michael},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2009},
  pages     = {911-916},
  url       = {https://mlanthology.org/ijcai/2009/schiffel2009ijcai-automated/}
}