Efficient Implementation of the Well-founded and Stable Model Semantics

Ilkka Niemelä, Patrik Simons

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    Original languageEnglish
    Title of host publicationProceedings of the Joint International Conference and Symposium on Logic Programming, Bonn, Germany, September 1996
    EditorsM. Maher
    Pages289-303
    Publication statusPublished - 1996
    MoE publication typeA4 Article in a conference publication

    Cite this