R. Kreft, C. Büchner, S. Sievers, and M. Helmert, “Computing Domain Abstractions for Optimal Classical Planning with Counterexample-Guided Abstraction Refinement”, ICAPS, vol. 33, no. 1, pp. 221–226, Jul. 2023.