A branch-checking algorithm for all-pairs shortest paths
scientific article; zbMATH DE number 2135861