Semantical characterizations and complexity of equivalences in answer set programming

Thomas Eiter, Michael Fink, Stefan Woltran. Semantical characterizations and complexity of equivalences in answer set programming. ACM Trans. Comput. Log., 8(3):17, 2007. [doi]

Abstract

Abstract is missing.