C. Domshlak, M. Katz, and A. Shleyfman, “Symmetry Breaking: Satisficing Planning and Landmark Heuristics”, ICAPS, vol. 23, no. 1, pp. 298–302, Jun. 2013.