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

Tools for the definition and enforcement of dynamic constraints. - Stefano Odoardi; Christoph F. Eick (ICTAI, 1995)