Spatial-Yap: A Logic-Based Geographic Information System.

David Vaz, Michel Ferreira, Ricardo Lopes

Browse the full ICLP paper archive.