Qualitative Spatial and Temporal Reasoning. - Ligozat, Gérard (ISTE ;, 2012)