Semiclassical Time Evolution and Trace Formula for Relativistic Spin-1/2 Particles | Synapse