Spatial representation and reasoning for robot mapping a shape-based approach - Wolter, Diedrich (Springer, 2008)