@article{SamerSzeider09a,
 author = {Samer, Marko and Szeider, Stefan},
 doi = {10.1007/s10817-008-9114-5},
 journal = {Journal of Automated Reasoning},
 number = {1},
 pages = {77--97},
 title = {Backdoor sets of quantified {B}oolean formulas},
 url = {https://www.ac.tuwien.ac.at/files/pub/SamerSzeider09a.pdf},
 volume = {42},
 year = {2009}
}