Renz, J., & Nebel, B. (1999). On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the Region Connection Calculus. Artificial Intelligence, 108 (12), 69-123.

Selman, B., Levesque, H. J., & Mitchell, D. (1992). A new method for solving hard satisfiability problems. In Proceedings of the 10th National Conference of the American Association for Artificial Intelligence, pp. 440–446, San Jose, CA. MIT Press.

van Beek, P., & Manchak, D. W. (1996). The design and experimental analysis of algorithms for temporal reasoning. Journal of Artificial Intelligence Research, 4, 1–18.

Williams, C. P., & Hogg, T. (1994). Exploiting the deep structure of constraint problems.

Artificial Intelligence, 70, 73-117.