Sebastian Haufe Michael Thielscher Pushing the Envelope: General Game Players Prove Theorems. 1-10 2010 Australasian Conference on Artificial Intelligence http://dx.doi.org/10.1007/978-3-642-17432-2_1 conf/ausai/2010 db/conf/ausai/ausai2010.html#HaufeT10