P. Besnard and S. Doutre, Checking the Acceptability of a Set of Arguments, Proc. of the 10th Int. Workshop on Non-Monotonic Reasoning, pp.59-64, 2004.

M. Walicki and S. Dyrkolbotn, Finding Kernels or Solving SAT, Discrete Algorithms, pp.146-164, 2012.
DOI : 10.1016/j.jda.2011.11.004
URL : http://doi.org/10.1016/j.jda.2011.11.004

P. Besnard, S. Doutre, and A. Herzig, Encoding Argument Graphs in Logic, Proc. of the 15th Int, pp.345-354, 2014.
DOI : 10.1007/978-3-319-08855-6_35
URL : https://hal.archives-ouvertes.fr/hal-01147220

U. Egly, S. Gaggl, and S. Woltran, Answer-set programming encodings for argumentation frameworks, Argument & Computation, vol.170, issue.2, pp.147-177, 2010.
DOI : 10.1145/321978.321991

D. Phan-minh, On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning , Logic Programming and n-person Games, Artificial Intelligence, vol.77, pp.321-357, 1995.

P. Baroni and M. Giacomin, On principle-based evaluation of extension-based argumentation semantics, Artificial Intelligence, vol.171, issue.10-15, pp.675-700, 2007.
DOI : 10.1016/j.artint.2007.04.004

K. Skander-ben-slimane, A. Comte, O. Gasquet, A. Heba, and O. Lezaud, Frédéric Maris, and Maël Valais, Twist your Logic with TouIST, Proc. of the 4th Int. Congress on Tools for Teaching Logic (TTL'15), Antonia Huertas, 2015.

P. Baroni and M. Giacomin, Semantics of Abstract Argument Systems, in Argumentation in Artificial Intelligence, pp.25-44, 2009.

G. Charwat, W. Dvorák, S. A. Gaggl, J. Peter-wallner, and S. Woltran, Methods for solving reasoning problems in abstract argumentation ??? A survey, Artificial Intelligence, vol.220, pp.28-63, 2015.
DOI : 10.1016/j.artint.2014.11.008