Logic Programming with Cardinality Constraints (2003)
[BibTex]