Automated Verification of Weak Equivalence within the Smodels System

Reference:

Tomi Janhunen and Emilia Oikarinen. Automated verification of weak equivalence within the smodels system. Theory and Practice of Logic Programming, 7(6):697–744, November 2007.

Suggested BibTeX entry:

@article{JO07:tplp,
    author = {Tomi Janhunen and Emilia Oikarinen},
    journal = {Theory and Practice of Logic Programming},
    month = {November},
    number = {6},
    pages = {697--744},
    title = {Automated Verification of Weak Equivalence within the Smodels System},
    volume = {7},
    year = {2007},
}