A Mathematical Justification for the Herman-Kluk Propagator - Torben Swart; Vidian Rousse (2007)