A new transitive closure algorithm with application to redundancy identification | IEEE Conference Publication | IEEE Xplore