@article{DeHaanSzeider19,
 author = {de Haan, Ronald and
Stefan Szeider},
 doi = {10.3390/a12090188},
 journal = {MDPI Algorithms},
 number = {9},
 pages = {1--28},
 pdf = {https://www.mdpi.com/1999-4893/12/9/188/pdf},
 title = {Compendium of Parameterized Problems at Higher Levels
of the Polynomial Hierarchy},
 volume = {12},
 year = {2019}
}