Towards a rigorous logic for spatial data representationRodney James Thompson · First published 2007Open the Tome