Terrain-Aided SLAM with Limited-Size Reference Maps Using Gaussian Processes | IEEE Conference Publication | IEEE Xplore