@inproceedings{
    NS97:lpnmr,
    author = {Niemel{\"a}, Ilkka and Simons, P.},
    publisher = "Springer-Verlag",
    title = "Smodels -- an Implementation of the Stable Model and Well-Founded Semantics for Normal Logic Programs",
    booktitle = "Proceedings of the 4th International Conference on Logic Programming and Non-Monotonic Reasoning",
    address = "Dagstuhl, Germany",
    month = "July",
    note = "",
    year = "1997",
    organization = "",
    pages = "420--429"
}