Incremental Pattern Matching for the Efficient Computation of Transitive Closure

Incremental Pattern Matching for the Efficient Computation of Transitive Closure