@article{FellowsSzeiderWrightson06,
 author = {Michael R. Fellows and Stefan Szeider and Graham Wrightson},
 journal = {Theoretical Computer Science},
 number = {3},
 pages = {351-359},
 title = {On Finding Short Resolution Refutations and 
Small Unsatisfiable Subsets},
 url = {https://www.ac.tuwien.ac.at/files/pub/FellowsSzeiderWrightson06.pdf},
 volume = {351},
 year = {2006}
}