@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},
}