I. Niemelä, и P. Simons. глава Extending the Smodels system with cardinality and weight constraints, Kluwer Academic Publishers, Norwell, MA, USA, (2001)
I. Niemelä, P. Simons, и T. Soininen. Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning, стр. 317--331. London, UK, Springer-Verlag, (1999)
B. O’Callaghan, B. O’Sullivan, и E. Freuder. Principles and Practice of Constraint Programming - CP 2005, том 3709 из Lecture Notes in Computer Science, Springer, Berlin / Heidelberg, (2005)