E. Mugdan, R. Christen, and S. Eriksson, “Optimality Certificates for Classical Planning”, ICAPS, vol. 33, no. 1, pp. 286-294, Jul. 2023.