Text this: Influence of Roadway Cross-Section Shape on Gas Explosion Shock Wave Law in U-Type Ventilation Working Faces