1. Spatial and Temporal Reasoning,1997
2. Qualitative spatial representation and reasoning: An overview;Cohn;Fundamenta Informaticae,2001
3. Qualitative spatial representation and reasoning;Cohn,2008
4. Reasoning about dynamic depth profiles;Souchanski,2008
5. Modelling dynamic spatial systems in the situation calculus;Bhatt;Spatial Cognition and Computation,2008