@第{zbMATH01592704条，作者={Almulla，Mohammed and Newborn，Monroe}，标题={生成语义树以证明不可满足性的实用性}，FJournal={国际计算机数学杂志}，期刊={国际期刊计算数学}，ISSN={0020-7160}，体积={62}，数字={1-2}，页码={45--61}，年份={1996}，语言={英语}，DOI={10.1080/00207169608804524}，关键词={68Q25,68Q55,68R10}，zbMATH={1592704}，Zbl={1001.68513}}