@第{zbMATH06943960条，作者={Sofronie-Stokkermans，Viorica}，标题={关于理论扩展中的插值和符号消除}，FJournal={计算机科学中的逻辑方法}，日志={Log.Methods Compute.Sci.}，ISSN={1860-5974}，体积={14}，数字＝｛3｝，页码={41}，注={Id/No 23}，年份={2018年}，语言={英语}，DOI={10.23638/LMCS-14（3:23）2018}，关键词={03C40,03C10}，zbMATH={6943960}，Zbl={1476.03043}}