Pochter, N.; Zohar, A.; Rosenschein, J. Exploiting Problem Symmetries in State-Based Planners. AAAI 2011, 25, 1004-1009.