@第{zbMATH06344019条，作者={Chatterjee，Krishnendu和Henzinger，Monika}，Title={交替{B{\“u}chi}对策和最大终成分分解}的高效动态算法，FJournal={ACM杂志}，期刊={J.ACM}，ISSN={0004-5411}，体积＝{61}，数字={3}，页码={40}，注={Id/No 15}，年份={2014}，语言={英语}，DOI={10.1145/2597631}，关键词={91A43,05C85,68Q60,68Q87,68R10,91A10}，zbMATH={6344019}，Zbl={1295.91019}}