Automated Theorem Proving for General Game Playing.

Stephan Schiffel, Michael Thielscher

Browse the full IJCAI paper archive.