Gluing Semiclassical Resolvent Estimates via Propagation of Singularities | OUP Journals & Magazine | IEEE Xplore