A modification of Warshall's algorithm for the transitive closure of binary relations
Henry S. Warren · Communications of the ACM · 1975
An algorithm is given for computing the transitive closure of a binary relation that is represented by a Boolean matrix. The algorithm is similar to Warshall's although it executes faster for sparse matrices on most computers, particularly in a paging environment.