Sturtevant, N.; Geisberger, R. A Comparison of High-Level Approaches for Speeding Up Pathfinding. AIIDE 2010, 6, 76-82.