1. An intersection-based formalism for representing orientation relations in a geographic database;Abdelmoty,1994
2. Maintaining knowledge about temporal intervals;Allen;Comm. ACM,1983
3. Approaches to the representation of qualitative spatial relationships for geographic databases;Abdelmoty,1994
4. B. Bennett, Logical representations for automated reasoning about spatial relations, PhD Thesis, School of Computer Studies, University of Leeds, 1997
5. When does a composition table provide a complete and tractable proof procedure for a relational constraint language?;Bennett,1997