Du, Heshan, et al. “Using Qualitative Spatial Logic for Validating Crowd-Sourced Geospatial Data”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 29, no. 2, Jan. 2015, pp. 3948-53, doi:10.1609/aaai.v29i2.19052.