R. Zhou and E. Hansen, “Dynamic State-Space Partitioning in External-Memory Graph Search”, ICAPS, vol. 21, no. 1, pp. 290-297, Mar. 2011.