Reverse-Time Migration Using Local Nyquist Cross-Correlation Imaging Condition | IEEE Journals & Magazine | IEEE Xplore