buTCS: An Optimized Algorithm for Estimating the Size of Transitive Closure | IEEE Journals & Magazine | IEEE Xplore