Kaiser, L.; Stafiniak, L. First-Order Logic With Counting for General Game Playing. AAAI 2011, 25, 791-796.