Qualitative spatial reasoning with topological information - Renz, Jochen (Lecture notes in computer science ;, 2002)