Kurup, U.; Cassimatis, N. Integrating Constraint Satisfaction and Spatial Reasoning. AAAI 2010, 24, 1536-1541.