Anuj Dawar等人：通过静态环境逻辑中的游戏进行附加消除。(2004) conf/fsttcs/DawarGG04 10.1007/978-3-540-30538-5_18 Q58215677号 静态环境逻辑中通过游戏进行辅助消除。 三 阿努杰·达瓦尔 1 菲利普·加德纳 2 乔治·盖利 三 211-223 FSTTCS公司 FSTTCS公司 2004 2004 dblp记录“conf/fsttcs/DawarGG04”的RDF数据的来源信息 2018年11月14日10:57:41+0100