Semiclassical initial value representation for the quantum propagator in the Heisenberg interaction representation.