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