Report of investigations. 8077. Effect of rock dust on explosibility of coal dust; by James K. Richmond, Israel Liebman, and L. F. Miller.