@收款{zbMATH02194280，作者={Dawar，Anuj和Gardner，Philippa和Ghelli，Giorgio}，标题＝{通过静态环境逻辑中的游戏的附加消除（扩展抽象）}，BookTitle={FSTTCS 2004:软件技术和理论计算机科学基础。第24届国际会议，印度钦奈，2004年12月16-18日。会议记录。}，国际标准图书编号={3-540-24058-6}，页码={211--223}，年份＝{2004}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/b104325}，关键词={03B70,68P05}，zbMATH={2194280}，Zbl={1117.03338}}