Notes on prevention of dust and gas explosions in coal mines; by George S. Rice.