Paper "Improved Answer-Set Programming Encodings for Abstract Argumentation" accepted to Theory and Practice of Logic Programming