Trace formula for systems with spin from the coherent state propagator - Ribeiro, A D; Aguiar, M A M; Piza, Antonio Fernando Ribeiro de Toledo (Journal of Mathematical Physics, 2007)