Kaiser, L. and Stafiniak, L. (2011) “First-Order Logic with Counting for General Game Playing”, Proceedings of the AAAI Conference on Artificial Intelligence, 25(1), pp. 791–796. doi: 10.1609/aaai.v25i1.7949.