T. Eiter, M. Fink, S. Woltran: "Semantical Characterizations and Complexity of Equivalences in Answer Set Programming"; ACM Transactions on Computational Logic, 8 (2007), 3; 1 - 53.