@inproceedings{
    nss2000:nmr,
    author = {Niemel\"a, Ilkka and Simons, Patrik and Syrj\"anen, Tommi},
    ps = "nss_nmr_ws_2000.ps",
    title = "Smodels: A system for Answer Set Programming",
    booktitle = "Proceedings of the 8th International Workshop on Non-Monotonic Reasoning",
    month = "April",
    flags = "public copy",
    year = "2000"
}