@inproceedings{DeHaanKanjSzeider13,
 author = {Ronald de Haan and Iyad A. Kanj and Stefan Szeider},
 booktitle = {Theory and Applications of Satisfiability Testing -
SAT 2013 - 16th International Conference, Helsinki,
Finland, July 8-12, 2013. Proceedings},
 doi = {0.1007/978-3-642-39071-5_28},
 editor = {Matti J{ä}rvisalo and Allen Van Gelder},
 pages = {377-393},
 publisher = {Springer Verlag},
 series = {Lecture Notes in Computer Science},
 title = {Local Backbones},
 url = {http://arxiv.org/abs/1304.5479},
 volume = {7962},
 year = {2013}
}