F. Cerutti, I. Tachmazidis, M. Vallati, S. Batsakis, M. Giacomin, and G. Antoniou, “Exploiting Parallelism for Hard Problems in Abstract Argumentation”, AAAI, vol. 29, no. 1, Feb. 2015.