Spatial Representation And Reasoning For Robot Mapping by Diedrich Wolter