@phdthesis{
    Syr_lisuri,
    author = {Syrj\"aenen, Tommi},
    ps = "lt-syr.ps",
    school = "Helsinki University of Technology",
    title = "Logic Programming with Cardinality Constraints",
    month = "December",
    flags = "public SA-53695 copy",
    year = "2003",
    type = "Licentiate's Thesis"
}