Focusing strategies in reasoning about games