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. 2007 CENT http://ceur-ws.org/Vol-265/CENT2007-paper3.pdf conf/lpnmr/2007cent db/conf/lpnmr/cent2007.html#Woltran07