Rule-based topology system for spatial databases to validate complex geographic datasets. - Jose Martinez-Llario; Eloina Coll; M. Núñez-Andrés; C. Femenia-Ribera (Comput. Geosci., 2017)