Text this: Electrical discharge drilling of granite with positive and negative polarity of voltage pulses