A spatial logic based on regions and connection

Randell DA, Cui Z, Cohn AG (1992) A spatial logic based on regions and connection. In: Proceedings 3rd international conference on knowledge representation and reasoning

1992