Key points are not available for this paper at this time.
We investigate the Dirac equation in the semiclassical limit 0. A semiclassical propagator and a trace formula are derived and are shown to be determined by the classical orbits of a relativistic point particle. In addition, two phase factors enter, one of which can be calculated from the Thomas precession of a classical spin transported along the particle orbits. For the second factor we provide an interpretation in terms of dynamical and geometric phases.
Bolte et al. (Mon,) studied this question.