@inproceedings{GaspersSzeider12c,
 author = {Serge Gaspers and Stefan Szeider},
 booktitle = {Theory and Applications of Satisfiability Testing -
SAT 2012 - 15th International Conference, Trento,
Italy, June 17-20, 2012. Proceedings},
 doi = {10.1007/978-3-642-31612-8_7},
 editor = {Alessandro Cimatti and Roberto Sebastiani},
 pages = {72-85},
 publisher = {Springer Verlag},
 series = {Lecture Notes in Computer Science},
 title = {Strong Backdoors to Nested Satisfiability},
 volume = {7317},
 year = {2012}
}