L. Arge, U. Meyer, L. Toma, and N. Zeh, “On External-Memory Planar Depth First Search”, JGAA, vol. 7, no. 2, pp. 105–129, Jan. 2003.