Sievers, Silvan, Martin Wehrle, Malte Helmert, Alexander Shleyfman, and Michael Katz. 2015. “Factored Symmetries for Merge-and-Shrink Abstractions”. Proceedings of the AAAI Conference on Artificial Intelligence 29 (1). https://doi.org/10.1609/aaai.v29i1.9642.