Terahertz harmonic mixer based on HTS Josephson junction | IEEE Conference Publication | IEEE Xplore