A logic programming approach to cartographic map overlayPeter Y. F. WuW. Randolph Franklin2007Computational Intelligence