Development and Field Application of Ultrasonic Scanner for Coal Mine Gas Extraction Borehole Drilling | IEEE Conference Publication | IEEE Xplore