@article{FleischnerKullmannSzeider02,
 author = {Fleischner, Herbert and Kullmann, Oliver and Szeider, Stefan},
 gsid = {https://scholar.google.com/scholar?oi=bibs&hl=en&cites=15170626367980741704},
 journal = {Theoretical Computer Science},
 number = {1},
 pages = {503-516},
 title = {Polynomial-time recognition of minimal unsatisfiable formulas
with fixed clause-variable difference},
 url = {https://www.ac.tuwien.ac.at/files/pub/fleischner-kullmann-szeider-2002.pdf},
 volume = {289},
 year = {2002}
}