@第{zbMATH06678724条，作者={Demri，St{\ee}phane and Deters，Morgan}，标题={双变量分离逻辑及其内圈}，FJournal={ACM计算逻辑事务}，日志={ACM Trans.Comput.Log.}，ISSN={1529-3785}，体积={16}，数字={2}，页码={36}，注={Id/No 15}，年份={2015年}，语言={英语}，DOI＝{10.1145/22724711}，关键词={03B70,03B25}，zbMATH={6678724}，Zbl={1354.03036}}