Answer-set programming encodings for argumentation frameworks
@en