Mining's drive for efficiency | IET Journals & Magazine | IEEE Xplore