@techreport{Szeider03b,
 author = {Stefan Szeider},
 institution = {Electronic Colloquium on Computational 
Complexity (ECCC)},
 number = {TR03-002, Revision~1},
 title = {Minimal unsatisfiable formulas with bounded 
clause-variable difference are fixed-parameter tractable},
 url = {http://eccc.hpi-web.de/report/2003/002/},
 year = {2003}
}