@inproceedings{Szeider07a,
 author = {Stefan Szeider},
 booktitle = {Proceedings of SAT 2007, Tenth International Conference on 
Theory and Applications of Satisfiability Testing, 
May 28-31, 2007, Lisbon, Portugal,},
 editor = {J. Marques-Silva and K. A. Sakallah},
 pages = {94-99},
 series = {Lecture Notes in Computer Science},
 title = {Matched Formulas and Backdoor Sets},
 volume = {4501},
 year = {2007}
}