Dold, S., Helmert, M., Nordström, J., Röger, G. and Schindler, T. 2025. Pseudo-Boolean Proof Logging for Optimal Classical Planning. Proceedings of the International Conference on Automated Planning and Scheduling. 35, 1 (Sep. 2025), 54-63. DOI:https://doi.org/10.1609/icaps.v35i1.36101.