@article{3b33c20fd6b04c78bebec119d4e27bfd,
title = "Extending and implementing the stable model semantics",
keywords = "Answer set programming, Logic programs, Optimization, Stable model semantics, Weight constraints, Answer set programming, Logic programs, Optimization, Stable model semantics, Weight constraints, Answer set programming, Logic programs, Optimization, Stable model semantics, Weight constraints",
author = "Patrik Simons and Ilkka Niemel{\"a} and Timo Soininen",
year = "2002",
doi = "10.1016/S0004-3702(02)00187-X",
language = "English",
volume = "138",
pages = "181--234",
journal = "Artificial Intelligence",
issn = "0004-3702",
publisher = "ELSEVIER SCIENCE B.V.",
number = "1-2",
}