@article{
    JO07:tplp,
    author = "Janhunen, Tomi and Oikarinen, Emilia",
    title = "Automated Verification of Weak Equivalence within the Smodels System",
    url = "http://dx.doi.org/10.1017/S1471068407003031",
    journal = "Theory and Practice of Logic Programming",
    number = "6",
    month = "November",
    volume = "7",
    flags = "ACPT",
    year = "2007",
    pages = "697--744"
}