Mugdan, E., R. Christen, and S. Eriksson. “Optimality Certificates for Classical Planning”. Proceedings of the International Conference on Automated Planning and Scheduling, vol. 33, no. 1, July 2023, pp. 286-94, doi:10.1609/icaps.v33i1.27206.