Efficient Implementation of the Well-founded and Stable Model Semantics

Reference:

Ilkka Niemelä and P. Simons. Efficient implementation of the well-founded and stable model semantics. In M. Maher, editor, Proceedings of the Joint International Conference and Symposium on Logic Programming, pages 289–303, Bonn, Germany, September 1996. The MIT Press.

Suggested BibTeX entry:

@inproceedings{NS96:jicslp,
    address = {Bonn, Germany},
    author = {Ilkka Niemel{\"a} and Simons, P.},
    booktitle = {Proceedings of the Joint International Conference and Symposium on Logic Programming},
    editor = {M. Maher},
    month = {September},
    pages = {289--303},
    publisher = {The MIT Press},
    title = {Efficient Implementation of the Well-founded and Stable Model Semantics},
    year = {1996},
}