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. Fachbericht Informatik 7–96, Universität Koblenz-Landau, 1996. Available at http://www.uni-koblenz.de/fb4/publikationen/gelbereihe/.

Suggested BibTeX entry:

@techreport{NS:FB96NR7,
    author = {Ilkka Niemel{\"a} and P. Simons},
    institution = {Universit{\"a}t Koblenz-Landau},
    note = {Available at \url{http://www.uni-koblenz.de/fb4/publikationen/gelbereihe/}},
    number = {7--96},
    title = {Efficient Implementation of the Well-founded and Stable Model Semantics},
    type = {Fach\-be\-richt Informatik},
    year = {1996},
}