Algorithm of reducing the time of resolving phase ambiguities of multi-antenna global navigation satellite system by using priori information | IEEE Conference Publication | IEEE Xplore