U. Kurup and N. Cassimatis, “Integrating Constraint Satisfaction and Spatial Reasoning”, AAAI, vol. 24, no. 1, pp. 1536–1541, Jul. 2010.