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