TY  - RPRT
TI  - The Parameterized Complexity of Reasoning Problems Beyond NP
AU  - Ronald de Haan
AU  - Stefan Szeider
PY  - 2016
UR  - https://arxiv.org/abs/1312.1672
ID  - 1312.1672
ER  -