Drilling of hard rocks by pulsed power | IEEE Journals & Magazine | IEEE Xplore