@第{zbMATH05679440条，作者={谢瓦利埃、扬尼克和鲁西诺维奇、迈克尔}，标题={不相交入侵者理论结合中的符号协议分析：组合决策过程}，FJournal={理论计算机科学}，期刊={Theor.Comput.Sci.}，ISSN={0304-3975}，体积={411}，数字={10}，页码={1261--1282}，年份={2010}，语言={英语}，DOI={10.1016/j.tcs.2009.10.022}，关键词={68P25}，zbMATH＝{5679440}，Zbl={1187.68204}}