Fuzzy fault tree analysis for gas explosion of coal mining and heading faces in underground coal mines. (August 2018)