A common view on strong, uniform, and other notions of equivalence in answer-set programming.

Stefan Woltran A common view on strong, uniform, and other notions of equivalence in answer-set programming. 217-234 2008 8 TPLP 2 http://dx.doi.org/10.1017/S1471068407003250 db/journals/tplp/tplp8.html#Woltran08