Terrestrial GPS Time-Differenced Carrier-Phase Positioning of Lunar Surface Users | IEEE Conference Publication | IEEE Xplore