Sievers, S.; Wehrle, M.; Helmert, M.; Shleyfman, A.; Katz, M. Factored Symmetries for Merge-and-Shrink Abstractions. AAAI 2015, 29.