Mugdan, E.; Christen, R.; Eriksson, S. Optimality Certificates for Classical Planning. ICAPS 2023, 33, 286-294.