Kreft, R.; Büchner, C.; Sievers, S.; Helmert, M. Computing Domain Abstractions for Optimal Classical Planning With Counterexample-Guided Abstraction Refinement. ICAPS 2023, 33, 221-226.