Terahertz double-Doppler wavelength shifting of infrared optical pulses in excited semiconductor medium | IEEE Conference Publication | IEEE Xplore