3.17-THz frequency-difference measurement between lasers using two optical frequency combs | IEEE Journals & Magazine | IEEE Xplore