First-Order Logic with Counting for General Game Playing

Open in new window