@incollection{
    NS2000:lbai,
    editor = "Minker, Jack",
    author = {Niemel{\"a}, Ilkka and Simons, Patrik},
    chapter = "21",
    publisher = "Kluwer Academic Publishers",
    title = "Extending the {Smodels} System with Cardinality and Weight Constraints",
    booktitle = "Logic-Based Artificial Intelligence",
    address = "",
    month = "",
    note = "",
    year = "2000",
    pages = "491--521"
}