Rodney James Thompson

• Towards a rigorous logic for spatial data representation