Highly efficient electric-discharge ArF and KrF excimer lasers with He as a buffer gas | IEEE Conference Publication | IEEE Xplore