Discussion of electrical discharge machining in gas | IEEE Conference Publication | IEEE Xplore