A.  Raffaetà, Renso, C., and Turini, F., ?Qualitative Spatial Reasoning in a Logical Framework?, in AI*IA, 2003, pp. 78-90.