Smodels – an Implementation of the Stable Model and Well-Founded Semantics for Normal Logic Programs

Reference:

Ilkka Niemelä and P. Simons. Smodels – an implementation of the stable model and well-founded semantics for normal logic programs. In Proceedings of the 4th International Conference on Logic Programming and Non-Monotonic Reasoning, pages 420–429, Dagstuhl, Germany, July 1997. Springer-Verlag.

Suggested BibTeX entry:

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