@phdthesis{
    Syrjanen2009,
    author = "Syrjänen, Tommi",
    title = "Logic Programs and Cardinality Constraints: Theory and Practice",
    url = "http://lib.tkk.fi/Diss/2009/isbn9789512297634/",
    series = "TKK Dissertations in Information and Computer Science",
    address = "Espoo",
    number = "TKK-ICS-D12",
    year = "2009",
    owner = "MM",
    impactfactor = "E 01",
    institution = "Helsinki University of Technology"
}