The Coal Cutter as a Seismic Source in Channel Wave Exploration | IEEE Journals & Magazine | IEEE Xplore