@第{zbMATH06598947条，作者={Leroux，J{'e}r{^o}me和r{“u}mmer，Philipp和Suboti{'c}，Pavle}，Title={用领域特定抽象指导{Craig}插值}，FJournal={信息学报}，日志={Acta Inf.}，ISSN={0001-5903}，体积={53}，数字={4}，页码={387--424}，年份={2016年}，语言={英语}，DOI={10.1007/s00236-015-0236-z}，关键词={68Q60,03C40}，URL={urn.kb.se/resolve？urn=urn:nbn:se:uu:diva-268743}，zbMATH={6598947}，Zbl={1344.68139}}