Baumeister, D.; Neugebauer, D.; Rothe, J.; Schadrack, H. Complexity of Verification in Incomplete Argumentation Frameworks. AAAI 2018, 32.