1. Maintaining knowledge about temporal intervals;Allen;Comm. ACM,1983
2. Spatial reasoning for image retrieval;Aiello,1999
3. Mathematical Analysis;Apostol,1974
4. Towards a geometry of common sense: A semantics and a complete axiomatization of mereotopology;Asher,1995
5. Spatial reasoning with propositional logic;Bennett,1994