乌里·扎尔法蒂 菲利普·加德纳 关于树更新的本地推理。 399-424 2006 conf/mfps/2006年 MFPS公司 https://doi.org/10.1016/j.entcs.2006.04.020 db/journals/entcs/entcs158.html#ZarfatyG06