1. A. Aiken, Introduction to set constraint-based program analysis. Sci. Comput. Program. 35, 79–111 (1999)
2. A.K. Mackworth, Constraint Satisfaction, in Encyclopedia of Artificial Intelligence, ed. by S.C. Shapiro, (John Wiley and Sons, New York, 1987)
3. S.C. Brailsford, C.N. Potts, B.M. Smith, Constraint satisfaction problems: algorithms and applications. Eur. J. Oper. Res. 119, 557–581 (1999)
4. S. Russell, P. Norvig, Artificial Intelligence: A Modern Approach, 3rd edn. (Prentice Hall, 2009)
5. S. Douglass, C. Myers, Concurrent knowledge activation calculation in large declarative memories, in Proceedings of the 10th International Conference on Cognitive Modeling, 2010, pp. 55–60