Efficient Semi-External SCC Computation (Extended Abstract) | IEEE Conference Publication | IEEE Xplore