Du, Heshan, Hai Nguyen, Natasha Alechina, Brian Logan, Michael Jackson, and John Goodwin. 2015. “Using Qualitative Spatial Logic for Validating Crowd-Sourced Geospatial Data”. Proceedings of the AAAI Conference on Artificial Intelligence 29 (2):3948-53. https://doi.org/10.1609/aaai.v29i2.19052.