A.: A spatial logic based on regions and connection (1992)

by D Randell, Z Cui, Cohn
Venue:Proc. of 2nd International Conference on Knowledge Representation and reasoning KR’92