Logic Programming with Cardinality Constraints (2003)
AUTHORS:
Syrjänen Tommi
@techreport{ Syr03, author = {Syrj\"anen, Tommi}, ps = "A86.ps", title = "Logic Programming with Cardinality Constraints", address = "Helsinki, Finland", number = "A 86", month = "December", flags = "copy SA-53695 public", year = "2003", type = "Research Report", institution = "Helsinki University of Technology, Laboratory for Theoretical Computer Science" }