克里斯蒂亚诺·卡尔卡尼奥 菲利普·加德纳 乌里·扎尔法蒂 关于数据更新的本地推理。 133-175 2007 conf/生日/2007plotkin 计算、意义和逻辑 https://doi.org/10.1016/j.entcs.2007.02.006 db/journals/entcs/entcs172.html#CalcagnoGZ07