Extending and Implementing the Stable Model Semantics

Reference:

Patrik Simons, Ilkka Niemelä, and Timo Soininen. Extending and implementing the stable model semantics. Artificial Intelligence, 138(1–2):181–234, 2002.

Suggested BibTeX entry:

@article{SNS2002:aij,
    author = {Patrik Simons and Ilkka Niemel{\"a} and Timo Soininen},
    journal = {Artificial Intelligence},
    number = {1--2},
    pages = {181--234},
    title = {Extending and Implementing the Stable Model Semantics},
    volume = {138},
    year = {2002},
}