Application of micro-EDM combined with high-frequency dither grinding to micro-hole machining