@第{zbMATH01797852条，作者={Broxvall，Mathias and Jonsson，Peter and Renz，Jochen}，标题={析取、独立、细化}，FJournal={人工智能}，日志={Artif.Intern.}，ISSN={0004-3702}，体积={140}，数字={1-2}，Pages={153-173}，年份={2002}，语言={英语}，DOI={10.1016/S0004-3702（02）00224-2}，关键词={68T20}，zbMATH={1797852}，Zbl={0999.68202}}