@article{SS09JAR,
    author = {Samer, Marko and Szeider, Stefan},
    title = {Backdoor Sets of Quantified {Boolean} Formulas},
    journal = {Journal of Automated Reasoning (JAR)},
    publisher = {Springer-Verlag},
    volume = {42},
    number = {1},
    pages = {77--97},
    year = {2009},
    issn = {0168-7433}
}


@inproceedings{SS07SAT,
    author = {Samer, Marko and Szeider, Stefan},
    title = {Backdoor Sets of Quantified {Boolean} Formulas},
    booktitle = {Proceedings of the 10th International Conference on Theory and Applications of Satisfiability Testing (SAT'07)},
    editor = {Marques-Silva, Jo\~{a}o and Sakallah, Karem A.},
    publisher = {Springer-Verlag},
    series = {Lecture Notes in Computer Science},
    volume = {4501},
    pages = {230--243},
    year = {2007},
    isbn = {978-3-540-72787-3}
}