On the existence of nonoscillatory phase functions for second order ordinary differential equations in the high-frequency regime. - Zhu Heitman; James Bremer; Vladimir Rokhlin (J. Comput. Phys., 2015)