@inproceedings{Szeider04a,
 author = {Stefan Szeider},
 booktitle = {Computing: The Australasian Theory Symposium (CATS 2004)},
 editor = {Mike Atkinson},
 note = {Informal Proceedings},
 organization = {University of Ontago},
 pages = {252-261},
 title = {The Parameterized Complexity of {SAT} Backdoors},
 year = {2004}
}