Efficient Implementation of the Stable Model Semantics for Normal Logic Programs

Reference:

Patrik Simons. Efficient implementation of the stable model semantics for normal logic programs. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1995.

Suggested BibTeX entry:

@mastersthesis{SimonsMsc,
    author = {Simons, Patrik},
    school = {Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory},
    title = {Efficient Implementation of the Stable Model Semantics for Normal Logic Programs},
    year = {1995},
}