Microarcs as a termination mechanism of optical pulses in electric-discharge-excited KrF excimer lasers | IEEE Journals & Magazine | IEEE Xplore