N. Creignou, U. Egly, J. Schmidt: "Complexity Classifications for Logic-Based Argumentation"; ACM Transactions on Computational Logic, 15 (2014), 3.
http://dx.doi.org/10.1145/2629421
Project Head Uwe Egly: Quantified Boolean Formulas