A formal model for the discrete representation of spatial objects. - Francesca Coppa; Enrico Nardelli; Maurizio Talamo (SAC, 1997)