Rovner, A.; Sievers, S.; Helmert, M. Counterexample-Guided Abstraction Refinement for Pattern Selection in Optimal Classical Planning. ICAPS 2021, 29, 362-367.