Cerutti, F.; Tachmazidis, I.; Vallati, M.; Batsakis, S.; Giacomin, M.; Antoniou, G. Exploiting Parallelism for Hard Problems in Abstract Argumentation. AAAI 2015, 29.