H. Du, H. Nguyen, N. Alechina, B. Logan, M. Jackson, and J. Goodwin, “Using Qualitative Spatial Logic for Validating Crowd-Sourced Geospatial Data”, AAAI, vol. 29, no. 2, pp. 3948–3953, Jan. 2015.