N. Pochter, A. Zohar, and J. Rosenschein, “Exploiting Problem Symmetries in State-Based Planners”, AAAI, vol. 25, no. 1, pp. 1004-1009, Aug. 2011.