I/O-efficient strong connectivity and depth-first search for directed planar graphs - Arge, L.; Zeh, N. (44th Annual IEEE Symposium on Foundations of Computer Science, 2003. Proceedings., Foundations of Computer Science, 2003. Proceedings. 44th Annual IEEE Symposium on, Foundations of computer science, 2003)