@techreport{GaspersSzeider11a,
 author = {Serge Gaspers and Stefan Szeider},
 institution = {Arxiv.org},
 month = {10},
 number = {1110.6384},
 title = {Backdoors to Acyclic {SAT}},
 year = {2011}
}