@第{zbMATH06794002条，作者={Demri，St{’e}phane and Galmiche，Didier and Larchey-Wendling，Dominique and M{’e}ry，Daniel}，标题={带一个量化变量的分离逻辑}，FJournal={计算系统理论}，期刊={理论计算系统}，ISSN={1432-4350}，体积={61}，数字={2}，页码={371--461}，年份={2017年}，语言={英语}，DOI={10.1007/s00224-016-9713-1}，关键词={68Q25,03B70,68Q17,68Q60}，zbMATH={6794002}，Zbl={1435.68117}}