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