@文章{zbMATH05542978，作者={Esparza，Javier and Kiefer，Stefan and Schwoon，Stefan}，标题={用{Craig}插值和符号下推系统}进行抽象求精，FJournal={可满足性、布尔建模和计算杂志}，Journal={J.满足布尔模型计算}，ISSN={1574-0617}，体积={5}，数字={1-4}，Pages＝{27-56}，年份={2009}，语言={英语}，关键词={68Q60,68N30,68Q45}，zbMATH={5542978}，Zbl={1172.68541}}