Search U.S. government technical reports digitized or harvested by TRAIL.
Extinguishing agents for mine face gas explosions
Triggered barriers for the suppression of coal dust explosions