@article{Szeider09a,
 author = {Stefan Szeider},
 journal = {J on Satisfiability, Boolean Modeling and 
Computation},
 pages = {1-12},
 title = {Matched Formulas and Backdoor Sets},
 url = {https://www.ac.tuwien.ac.at/files/pub/Szeider09a.pdf},
 volume = {6},
 year = {2009}
}