@inproceedings{72e688d060ad47448a36134d0f98116c,
title = "The Smodels System",
keywords = "answer set programming, logic programming, stable models, answer set programming, logic programming, stable models, answer set programming, logic programming, stable models",
author = "Tommi Syrj{\"a}nen and Ilkka Niemel{\"a}",
year = "2001",
doi = "10.1007/3-540-45402-0_38",
language = "English",
isbn = "978-3-540-42593-9",
series = "Lecture Notes in Computer Science ",
publisher = "Springer",
pages = "434--438",
editor = "T. Eiter and W. Faber and M. Truszczynski",
booktitle = "6th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2001), Vienna, Austria, September 17-19, 2001",
address = "Germany",
}