阿努杰·达瓦尔 菲利普·加德纳 乔治·盖利 静态环境逻辑中通过游戏进行辅助消除。 211-223 https://doi.org/10.1007/978-3-540-30538-5_18 https://www.wikidata.org/entity/Q58215677 2004 conf/fsttcs/2004 FSTTCS公司 db/conf/fsettcs/fsttcs2004.html#DawarGG04