Logic Programs and Cardinality Constraints: Theory and Practice

Reference:

Tommi Syrjänen. Logic Programs and Cardinality Constraints: Theory and Practice. Doctoral dissertation, TKK Dissertations in Information and Computer Science TKK-ICS-D12, Helsinki University of Technology, Faculty of Information and Natural Sciences, Department of Information and Computer Science, Espoo, Finland, 2009.

Suggested BibTeX entry:

@phdthesis{SyrjanenDoc,
    address = {Espoo, Finland},
    author = {Tommi Syrj\"anen},
    school = {Helsinki University of Technology, Faculty of Information and Natural Sciences, Department of Information and Computer Science},
    title = {Logic Programs and Cardinality Constraints: Theory and Practice},
    type = {Doctoral dissertation, {TKK} {D}issertations in {I}nformation and {C}omputer {S}cience {TKK-ICS-D12}},
    year = {2009},
}