@第{zbMATH07650600条，作者={Bellier、Dylan和Benerecetti、Massimo和Della Monica、Dario和Mogavero、Fabio}，标题={Good-for-game{QPTL}：一个交替的hodges语义}，FJournal={ACM计算逻辑事务}，日志={ACM Trans.Comput.Log.}，ISSN={1529-3785}，体积={24}，数字={1}，页码={57}，注={Id/No 4}，年份={2023}，语言={英语}，DOI={10.1145/3565365}，关键词={03B70,68-XX}，zbMATH={7650600}}