@收款{zbMATH07053361，作者={Chatterjee，Krishnendu和Henzinger，Monika}，标题={An{{\（O（n^2）\）}}交替{B{\“u}chi}游戏}的时间算法，BookTitle={第23届ACM-SIAM离散算法年会论文集，SODA 2012，日本京都，2012年1月17日至19日。}，国际标准图书编号={978-1-61197-211-5}，页码={1386--1399}，年份={2012}，出版商={宾夕法尼亚州费城：工业与应用数学学会（SIAM）；纽约：计算机机械协会（ACM）}，语言={英语}，关键词={68R10,05C85,68W40,91A43,91A80}，URL={dl.acm.org/citation.cfm？id=2095225}，zbMATH={7053361}，Zbl={1421.68110}}