Kalman filtering approach for integer ambiguity resolution in GPS positioning with varying visible satellites. - Y. Kubo; Shinji Maruoka; S. Sugimoto (SIP, 2001)