@inproceedings{
    NSS2000:nmr,
    author = {Niemel{\"a}, Ilkka and Simons, Patrik and Syrj{\"a}nen, Tommi},
    publisher = "",
    title = "{Smodels}: a System for Answer Set Programming",
    booktitle = "Proceedings of the 8th International Workshop on Non-Monotonic Reasoning (cs.AI/0003073)",
    address = "Breckenridge, Colorado, USA",
    month = "April",
    note = "cs.AI/0003033",
    year = "2000",
    organization = "",
    pages = ""
}