@article{Szeider04d,
 author = {Stefan Szeider},
 doi = {10.1016/j.jcss.2004.04.009},
 gsid = {https://scholar.google.com/scholar?oi=bibs&hl=en&cites=2555576763922913501},
 journal = {Journal of Computer and System Sciences},
 number = {4},
 pages = {656-674},
 title = {Minimal unsatisfiable formulas with bounded 
clause-variable difference are fixed-parameter tractable},
 url = {https://www.ac.tuwien.ac.at/files/pub/szeider-jcss-2004.pdf},
 volume = {69},
 year = {2004}
}