Eliseo Clementini Paolino Di Felice Peter van Oosterom Formalization of Topological Knowledge in Spatial Query Languages. 57-71 1993 conf/sebd/1993 SEBD db/conf/sebd/sebd1993.html#ClementiniFO93