Network Backbone With Applications In Reachability And Shortest Path Computation