BibTeX记录conf/fsttcs/DawarGG04
@在过程中{DBLP:conf/fsttcs/DawarGG04， author={Anuj Dawar和 菲利普·加德纳和 乔治·盖利（Giorgio Ghelli）， editor={Kamal Lodaya和 Meena Mahajan}， title={静态环境逻辑中通过游戏进行辅助消除}， booktitle={{FSTTCS}2004：软件技术和理论基础 计算机科学，第24届国际会议，印度钦奈，12月 2004年16月18日，会议记录}， series={计算机科学讲稿}， 体积={3328}， 页面＝{211-223}， publisher={Springer}， 年份={2004}， url={ https://doi.org/10.1007/978-3-540-30538-5 \_18}, doi={10.1007/978-3-540-30538-5\_18}， timestamp={2019年5月14日星期二10:00:50+0200}， biburl={ https://dblp.org/rec/conf/fsttcs/DawarGG04.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
