@inproceedings{FellowsSzeiderWrightson04,
 author = {Michael R. Fellows and Stefan Szeider and Graham Wrightson},
 booktitle = {1st International Workshop on Parameterized and 
Exact Computation (IWPEC 2004)},
 editor = {Rod Downey and Michael Fellows and Frank Dehne},
 pages = {223-234},
 publisher = {Springer},
 series = {Lecture Notes in Computer Science},
 title = {On Finding Short Resolution Refutations and 
Small Unsatisfiable Subsets},
 volume = {3162},
 year = {2004}
}