@第{zbMATH06244026条，作者={Cheval，Vincent and Cortier，V{’e}ronique and Delaune，St{’e}phanie}，标题={使用约束求解确定基于等价性的属性}，FJournal={理论计算机科学}，期刊={Theor.Comput.Sci.}，ISSN={0304-3975}，体积={492}，页码={1--39}，年份={2013}，语言={英语}，DOI={10.1016/j.tcs.2013.04.016}，关键词={68Q85,68M12,68Q60,94A60}，zbMATH={6244026}，Zbl={1294.68111}}