A Logic for the Representation of Spatial Knowledge. - Massimo Abbati; Stefano Odoardi (AI*IA, 1991)