@article{DeHaanSzeider17, author = {Ronald de Haan and Stefan Szeider}, doi = {10.1016/j.jcss.2017.02.002}, institution = {Algorithms and Complexity Group, TU Wien}, journal = {Journal of Computer and System Sciences}, number = {AC-TR-17-004}, pages = {16--57}, pdf = {https://doi.org/10.1016/j.jcss.2017.02.002}, title = {Parameterized Complexity Classes Beyond {Para-NP}}, url = {http://www.ac.tuwien.ac.at/files/tr/ac-tr-17-004.pdf}, volume = {87}, year = {2017} }