Qualitative spatial reasoning with topological information - Renz, Jochen (Springer, 2002)