Sebastian Haufe, Michael Thielscher. Pushing the Envelope: General Game Players Prove Theorems. In Jiuyong Li, editor, AI 2010: Advances in Artificial Intelligence - 23rd Australasian Joint Conference, Adelaide, Australia, December 7-10, 2010. Proceedings. Volume 6464 of Lecture Notes in Computer Science, pages 1-10, Springer, 2010. [doi]
Abstract is missing.