@techreport{DeHaanSzeider14c,
 author = {de Haan, Ronald and
Stefan Szeider},
 institution = {Electronic Colloquium on Computational 
Complexity (ECCC)},
 number = {TR14-143},
 title = {Compendium of Parameterized Problems at Higher Levels
of the Polynomial Hierarchy},
 url = {http://eccc.hpi-web.de/report/2014/143/},
 year = {2014}
}