@inproceedings{
    SN2001:lpnmr,
    author = {Syrj{\"a}nen, Tommi and Niemel{\"a}, Ilkka},
    publisher = "Springer-Verlag",
    title = "The {Smodels} Systems",
    url = "http://www.tcs.hut.fi/~ini/papers/",
    booktitle = "Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning",
    address = "Vienna, Austria",
    month = "September",
    note = "",
    flags = "copy",
    year = "2001",
    organization = "",
    pages = "434--438"
}