N. Sturtevant and R. Geisberger, “A Comparison of High-Level Approaches for Speeding Up Pathfinding”, AIIDE, vol. 6, no. 1, pp. 76-82, Oct. 2010.