@techreport{2eed196600a441b0bb60ec9842c1c6e8,
title = "Logic Programming with Cardinality Constraints",
keywords = "cardinality constraint, instantiation, Logic programmin, smodels, stable model semantics, cardinality constraint, instantiation, Logic programmin, smodels, stable model semantics, cardinality constraint, instantiation, Logic programmin, smodels, stable model semantics",
author = "Tommi Syrj{\"a}nen",
year = "2003",
language = "English",
isbn = "951-22-6896-5",
series = "Helsinki University of Technology, Laboratory for Theoretical Computer Science, Research Reports",
publisher = "Helsinki University of Technology, Laboratory for Theoretical Computer Science",
number = "A86",
type = "WorkingPaper",
institution = "Helsinki University of Technology, Laboratory for Theoretical Computer Science",
}