@inproceedings{Szeider03d,
 author = {Stefan Szeider},
 booktitle = {Proceedings of the 9th International Computing and 
Combinatorics Conference (COCOON'03)},
 editor = {T. Warnow and B. Zhu},
 pages = {548-558},
 publisher = {Springer Verlag},
 series = {Lecture Notes in Computer Science},
 title = {Minimal unsatisfiable formulas with bounded 
clause-variable difference are fixed-parameter tractable},
 volume = {2697},
 year = {2003}
}