A. Rovner, S. Sievers, and M. Helmert, “Counterexample-Guided Abstraction Refinement for Pattern Selection in Optimal Classical Planning”, ICAPS, vol. 29, no. 1, pp. 362-367, May 2021.