TY - RPRT TI - Semantical Characterizations and Complexity of Equivalences in Answer Set Programming AU - Thomas Eiter AU - Michael Fink AU - Stefan Woltran PY - 2005 UR - https://arxiv.org/abs/cs/0502078 ID - cs/0502078 ER -