Modelling and reasoning in spatial databases : a deductive object-oriented approach. - Alia Ibrahim Abdelmoty El-Hetw (1995)