Derivation of semiclassical asymptotic initial value representations of the quantum propagator | Publicación