Spatial Representation and Reasoning for Robot Mapping - Wolter, Diedrich (Springer Berlin Heidelberg, 2020)