Automated theorem proving for general game playing (2009)

by S Schiffel, M Thielscher
Venue:In Proceedings of the 21st international Joint Conference on Artifical intelligence (IJCAI-09