@inproceedings{SamerSzeider07a,
 author = {Marko Samer and Stefan Szeider},
 booktitle = {Proceedings of SAT 2007, Tenth International Conference on 
Theory and Applications of Satisfiability Testing, 
May 28-31, 2007, Lisbon, Portugal,},
 editor = {J. Marques-Silva and K. A. Sakallah},
 pages = {230--243},
 series = {Lecture Notes in Computer Science},
 title = {Backdoor Sets of Quantified Boolean Formulas},
 volume = {4501},
 year = {2007}
}