@inbook{b4bf4c6ab05e4c3cb1781662db475a53,
title = "Extending the Smodels system with cardinality and weight constraints",
keywords = "logic programming, stable model semantics, logic programming, stable model semantics, logic programming, stable model semantics",
author = "Ilkka Niemel{\"a} and Patrik Simons",
year = "2000",
doi = "10.1007/978-1-4615-1567-8_21",
language = "English",
isbn = "978-1-4613-5618-9",
series = "The Springer International Series in Engineering and Computer Science ",
publisher = "Springer",
pages = "491--521",
editor = "J. Minker",
booktitle = "Logic-Based Artificial Intelligence",
address = "Germany",
}