Thomas Eiter, Wolfgang Faber, Michael Fink, Stefan Woltran. Complexity results for answer set programming with bounded predicate arities and implications. Annals of Mathematics and Artificial Intelligence, 51(2-4):123-165, 2007. [doi]
Abstract is missing.