Mine explosions. What miner can do to prevent explosions of gas and coal dust; by George S. Rice.