Hans Kleine Büning, Xishun Zhao. An Extension of Deficiency and Minimal Unsatisfiability of Quantified Boolean Formulas. JSAT, 3(3-4):115-123, 2007. [doi]
@article{BuningZ07a,
title = {An Extension of Deficiency and Minimal Unsatisfiability of Quantified Boolean Formulas},
author = {Hans Kleine Büning and Xishun Zhao},
year = {2007},
url = {http://jsat.ewi.tudelft.nl/content/volume3/JSAT3_7_KleineBuening.pdf},
researchr = {https://researchr.org/publication/BuningZ07a},
cites = {0},
citedby = {0},
journal = {JSAT},
volume = {3},
number = {3-4},
pages = {115-123},
}