Deduction and Deductive Databases for Geographic Data Handling.

http://dx.doi.org/10.1007/3-540-56869-7_25 Alia I. Abdelmoty M. Howard Williams Norman W. Paton Deduction and Deductive Databases for Geographic Data Handling. 443-464 SSD/1993/P443.pdf 1993 conf/ssd/93 SSD db/conf/ssd/ssd93.html#AbdelmotyWP93