http://dx.doi.org/10.1007/3-540-60159-7_16 Paul Scarponcini Daniel C. St. Clair George W. Zobrist An Inferencing Language for Automated Spatial Reasoning about Graphic Entities. 259-278 SSD/1995/P259.pdf 1995 conf/ssd/95 SSD db/conf/ssd/ssd95.html#ScarponciniCZ95