\input zb-basic
\input zb-ioport
\iteman{io-port 70253430}
\itemau{Haufe, Sebastian; Thielscher, Michael}
\itemti{Pushing the envelope: general game players prove theorems}
\itemso{Australasian Conference on Artificial Intelligence, 1-10 (2010).}
\itemcc{}
\itemut{}
\itemli{doi:10.1007/978-3-642-17432-2\_1}
\end