Du, H., Nguyen, H. H., Alechina, N., Logan, B., Jackson, M., & Goodwin, J. (2015). Using qualitative spatial logic for validating crowd-sourced geospatial data.