Research on flame propagation and explosion overpressure of oil shale dust explosion suppression by NaHCO3