@misc{indiciae39599c0090fa,
  title = {Computing Preferred Extensions in Abstract Argumentation: a SAT-based Approach},
  author = {Federico Cerutti and Paul E. Dunne and Massimiliano Giacomin and Mauro Vallati},
  year = {2013},
  url = {https://arxiv.org/abs/1310.4986},
  note = {Source identifier: 1310.4986}
}