Some problems in machine rock drilling and mine ventilation, where electricity may be beneficially employed | SAIEE Journals & Magazine | IEEE Xplore