Using 4-D Seismic Data for Detecting Gob Areas of Coal Mines: A Case Study From the Zhangji Coal Mine | IEEE Journals & Magazine | IEEE Xplore