Kreft, Raphael, et al. “Computing Domain Abstractions for Optimal Classical Planning With Counterexample-Guided Abstraction Refinement”. Proceedings of the International Conference on Automated Planning and Scheduling, vol. 33, no. 1, July 2023, pp. 221-6, doi:10.1609/icaps.v33i1.27198.