Rovner, Alexander, Silvan Sievers, and Malte Helmert. 2021. “Counterexample-Guided Abstraction Refinement for Pattern Selection in Optimal Classical Planning”. Proceedings of the International Conference on Automated Planning and Scheduling 29 (1):362-67. https://doi.org/10.1609/icaps.v29i1.3499.