I/O-efficient strong connectivity and depth-first search for directed planar graphs | IEEE Conference Publication | IEEE Xplore