@phdthesis{TUW-168032, author = {Thompson, Rodney}, title = {Towards a Rigorous Logic for Spatial Data Representation}, school = {Technische Universit{\"a}t Delft}, year = {2007} }