arXiv 2005-02-18 EN Semantical Characterizations and Complexity of Equivalences in Answer Set Programming Eiter, Thomas · Fink, Michael · Woltran, Stefan
