Bohr-Sommerfeld quantization of spin Hamiltonians

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.