A New Approach for Semi-External Topological Sorting on Big Graphs | IEEE Journals & Magazine | IEEE Xplore