@第{zbMATH06483245条，作者={Avni，Guy和Kupferman，Orna}，标题＝{参数化加权包容}，FJournal={ACM计算逻辑事务}，日志={ACM Trans.Comput.Log.}，ISSN={1529-3785}，体积={16}，数字={1}，页码={25}，注={Id/No 6}，年份={2015年}，语言={英语}，DOI={10.1145/2665076}，关键词={68Q45,68Q60}，zbMATH={6483245}，Zbl={1354.68145}}