The SciencesOctober 31, 1908Operation of Coal-Cutting MachineryUse and Economy of the Various Types of Coal CuttersGeorge E. Lynch