  The Bohr-Sommerfeld rule for a spin system is obtained, including the first
quantum corrections. The rule applies to both integer and half-integer spin,
and respects Kramers degeneracy for time-reversal invariant systems. It is
tested for various models, in particular the Lipkin-Meshkov-Glick model, and
found to agree very well with exact results.
