@第{zbMATH07839127条，作者={Kupferman，Orna and Vardi，Gal}，标题={透视游戏}，FJournal={ACM计算逻辑事务}，日志={ACM Trans.Comput.Log.}，ISSN={1529-3785}，体积={25}，数字={1}，页码={26}，注={Id/No 4}，年份={2024}，语言={英语}，DOI={10.1145/3627705}，关键词={03B70,68-XX}，zbMATH={7839127}}