D. Baumeister, D. Neugebauer, J. Rothe, and H. Schadrack, “Complexity of Verification in Incomplete Argumentation Frameworks”, AAAI, vol. 32, no. 1, Apr. 2018.