T. Eiter, W. Faber, G. Pfeifer, M. Fink, S. Woltran: "Complexity of Answer Set Checking and Bounded Predicate Arities for Non-Ground Answer Set Programming"; 2003.
http://www.kr.tuwien.ac.at/research/reports/rr0311.ps.gz