Spatial Representation and Reasoning for Robot Mapping A Shape-Based Approach - Wolter, Diedrich. (Springer Berlin Heidelberg : Imprint: Springer, 2008)