@文章{zbMATH05179885，作者={Kleine B{“u}ning，Hans and Subramani，K.和Zhao，Xishun}，标题={布尔函数作为量化{布尔}公式}的模型，FJournal={自动推理杂志}，日志={J.自动推理}，ISSN={0168-7433}，体积={39}，数字={1}，页码={49--75}，年份={2007}，语言={英语}，DOI={10.1007/s10817-007-9067-0}，关键词={03B05,06E30,68Q25,68Q60}，zbMATH={5179885}，Zbl={1126.03015}}