Researches on mining rock failure process and gas flow with upper protective layer extraction | IEEE Conference Publication | IEEE Xplore