Forced Caving Technique for Gas Disaster Prevention in Coal Mine | IEEE Conference Publication | IEEE Xplore