Guozhu Dong Leonid Libkin Limsoon Wong Incremental recomputation in local languages. 88-98 2003 181 Inf. Comput. 2 http://dx.doi.org/10.1016/S0890-5401(03)00017-8 db/journals/iandc/iandc181.html#DongLW03