TY - RPRT TI - Computing Preferred Extensions in Abstract Argumentation: a SAT-based Approach AU - Federico Cerutti AU - Paul E. Dunne AU - Massimiliano Giacomin AU - Mauro Vallati PY - 2013 UR - https://arxiv.org/abs/1310.4986 ID - 1310.4986 ER -