Semantical characterizations and complexity of equivalences in answer set programming (2006)

by T Eiter, S Woltran, M Fink
Venue:ACM Transactions on Computational Logic