Focusing Strategies in Reasoning About Games