Qualitative Spatial Reasoning with Topological Information - Jochen Renz ((Lecture Notes in Computer Science))