@inproceedings{DeHaanSzeider15,
 author = {Ronald de Haan and
Stefan Szeider},
 booktitle = {{SOFSEM} 2015: Theory and Practice of Computer Science
- 41st International Conference on Current Trends in
Theory and Practice of Computer Science, Pec pod
Sn{\v{e}}{\v{z}}kou, Czech Republic, January 24-29,
2015.  Proceedings},
 doi = {10.1007/978-3-662-46078-8_18},
 month = {1},
 pages = {217--229},
 publisher = {Springer Verlag},
 series = {Lecture Notes in Computer Science},
 title = {Machine Characterizations for Parameterized Complexity
Classes Beyond {Para-NP}},
 url = {https://www.ac.tuwien.ac.at/files/tr/ac-tr-15-009.pdf},
 volume = {8939},
 year = {2015}
}