@inproceedings{GaspersSzeider12b,
 author = {Serge Gaspers and Stefan Szeider},
 booktitle = {Automata, Languages, and Programming - 39th
International Colloquium, ICALP 2012, Warwick, UK,
July 9-13, 2012, Proceedings, Part I},
 doi = {10.1007/978-3-642-31594-7_31},
 editor = {Artur Czumaj and Kurt Mehlhorn and Andrew M. Pitts
and Roger Wattenhofer},
 pages = {363-374},
 publisher = {Springer Verlag},
 series = {Lecture Notes in Computer Science},
 title = {Backdoors to Acyclic {SAT}},
 volume = {7391},
 year = {2012}
}