The Smodels Systems

Reference:

Tommi Syrjänen and Ilkka Niemelä. The Smodels systems. In Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning, pages 434–438, Vienna, Austria, September 2001. Springer-Verlag.

Suggested BibTeX entry:

@inproceedings{SN2001:lpnmr,
    address = {Vienna, Austria},
    author = {Tommi Syrj{\"a}nen and Ilkka Niemel{\"a}},
    booktitle = {Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning},
    month = {September},
    pages = {434--438},
    publisher = {Springer-Verlag},
    title = {The {Smodels} Systems},
    year = {2001},
}