Logic programming with cardinality constraints

Reference:

Tommi Syrjänen. Logic programming with cardinality constraints. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2003.

Suggested BibTeX entry:

@phdthesis{SyrjanenLic,
    author = {Syrj{\"a}nen, Tommi},
    school = {Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science},
    title = {Logic programming with cardinality constraints},
    type = {Licentiate's thesis},
    year = {2003},
}