Stone dusting or rock dusting to prevent coal-dust explosions, as practiced in Great Britain and France; by George S. Rice.