@第{zbMATH00416888条，作者={亚克尼斯、亚历山大和亚克尼斯，弗拉基米尔}，标题={Gurevich-{Harrington}有限自动机定义的博弈，FJournal={纯逻辑与应用逻辑年鉴}，日志={Ann.Pure Appl.Logic}，ISSN={0168-0072}，体积={62}，数字={3}，页码={265--294}，年份={1993}，语言={英语}，DOI＝{10.1016/0168-0072（93）90239-A}，关键词={03D05,91A05,68T05}，zbMATH={416888}，Zbl={0778.03010}}