@article{EibenGanianOrdyniak20,
 author = {Eduard Eiben and
Robert Ganian and
Sebastian Ordyniak},
 journal = {J. Comput. Syst. Sci.},
 keywords = {nfpc},
 pages = {1--21},
 title = {Using decomposition-parameters for {QBF:} Mind the prefix!},
 url = {https://doi.org/10.1016/j.jcss.2019.12.005},
 volume = {110},
 year = {2020}
}