Paper "Complexity Results and Algorithms for Extension Enforcement in Abstract Argumentation" accepted to AAAI 2016