The Computational Complexity of Iterated Elimination of Dominated Strategies - Arno Pauly (Theory of Computing Systems, 2016)