A spatial logic based on regions and connections (1992)

by D A Randell, Z Cui, A G Cohn
Venue:In Proceedings 3rd International Conference on Knowledge Representation and Reasoning