P. Besnard, A. Hunter, S. Woltran: "Encoding Deductive Argumentation in Quantified Boolean Formulae"; Report No. DBAI-TR-2008-60, 2008; 28 pages.