Method Study of Forecasting Gas Outburst Based on Rough Set | IEEE Conference Publication | IEEE Xplore