@第{zbMATH01972334条，作者={Baumgartner，Peter and Furbach，Ulrich and Stolzenburg，Frieder}，标题={使用模型消除计算答案}，FJournal={人工智能}，日志={Artif.Intern.}，ISSN={0004-3702}，体积={90}，数量＝{1-2}，页码={135--176}，年份={1997}，语言={英语}，DOI={10.1016/S0004-3702（96）00042-2}，关键词={03B35,68T15,68N17}，zbMATH={1972334}，Zbl=｛1017.03505｝}