Du, H., Nguyen, H., Alechina, N., Logan, B., Jackson, M. and Goodwin, J. (2015) “Using Qualitative Spatial Logic for Validating Crowd-Sourced Geospatial Data”, Proceedings of the AAAI Conference on Artificial Intelligence, 29(2), pp. 3948-3953. doi: 10.1609/aaai.v29i2.19052.