The Smodels System

Reference:

Tommi Syrjänen and Ilkka Niemelä. The smodels system. In Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning, Vienna, Austria, September 2001. Springer-Verlag.

Suggested BibTeX entry:

@inproceedings{nmr01:sn,
    address = {Vienna, Austria},
    author = {Tommi Syrj\"anen and Ilkka Niemel\"a},
    booktitle = {Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning},
    month = {September},
    publisher = {{Springer-Verlag}},
    title = {The Smodels System},
    year = {2001},
}