L. Kaiser and L. Stafiniak, “First-Order Logic with Counting for General Game Playing”, AAAI, vol. 25, no. 1, pp. 791–796, Aug. 2011.