@文章{zbMATH01565920，作者={Kleine B{\“u}ning，Hans}，Title={关于最小不可满足公式的子类}，FJournal={离散应用数学}，日志={离散应用数学}，ISSN={0166-218X}，体积={107}，数字={1-3}，页码={83--98}，年份＝{2000}，语言={英语}，DOI={10.1016/S0166-218X（00）00245-6}，关键词={03B35,68Q25,03B05,03D15,03F20}，zbMATH={1565920}，Zbl={0965.03016}}