Achieving compositionality of the stable model semantics for Smodels programs

Emilia Oikarinen, Tomi Janhunen

    Research output: Contribution to journalArticleScientificpeer-review

    32 Citations (Scopus)
    Original languageEnglish
    Pages (from-to)717-761
    JournalTheory and Practice of Logic Programming
    Volume8
    Issue number5-6
    Publication statusPublished - 2008
    MoE publication typeA1 Journal article-refereed

    Cite this