Automated Verification of Weak Equivalence within the Smodels System

Tomi Janhunen, Emilia Oikarinen

    Research output: Contribution to journalArticleScientificpeer-review

    10 Citations (Scopus)
    Original languageEnglish
    Pages (from-to)697-744
    JournalTheory and Practice of Logic Programming
    Issue number6
    Publication statusPublished - 2007
    MoE publication typeA1 Journal article-refereed


    • answer set programming
    • program optimization
    • programming methodology
    • weak equivalence

    Cite this