BibTeX记录日志/entcs/ZarfatyG06
@inprocesdings{DBLP:期刊/entcs/ZarfatyG06， author={Uri Zarfaty和 菲利普·加德纳}， 编辑={Stephen D.Brookes和 迈克尔·米斯洛夫（Michael W.Mislove）， title={关于树更新的本地推理}， booktitle={第22届数学基础年会论文集 编程语义学，{MFPS}2006，意大利热那亚，2006年5月23日至27日}， series={理论计算机科学中的电子笔记}， 体积＝{158}， 页数={399--424}， publisher={Elsevier}， 年份={2006}， url={ https://doi.org/10.1016/j.entcs.2006.04.020 }, doi={10.1016/J.ENTCS.2006.04.020}， timestamp={2021年2月8日，星期一13:26:20+0100}， 比布尔={ https://dblp.org/rec/journals/entcs/ZarfatyG06.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
