Ronald de Haan, Stefan Szeider: The Parameterized Complexity of Reasoning Problems Beyond NP. KR 2014