Jorge Lobo Qi Yang Clement T. Yu Dynamic Maintenance of the Transitive Closure in Disjunctive Graphs. 151-176 1995 14 Ann. Math. Artif. Intell. 2-4 db/journals/amai/amai14.html#LoboYY95