A Logic for Reasoning About Game Strategies

Open in new window