Risk of igniting (exploding) gas from coal wall drill boreholes by coal cutting picks’ friction against quartz sandstone Journal of Mining and Safety Engineering . 2021, (2): 411 -418 .  DOI: 10.13545/j.cnki.jmse.2020.0611