Du, H. (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.