Torus quantization for spinning particles

We derive semiclassical quantization conditions for particles with spin. These generalize the Einstein-Brillouin-Keller quantization in such a way that, in addition to the Maslov correction, there appears another term which is a remnant of a non-Abelian geometric or Berry phase. This correction is interpreted in terms of a rotation angle for a classical spin vector.