Katz, M., J. Lee, and S. Sohrabi. “Unifying and Certifying Top-Quality Planning”. Proceedings of the International Conference on Automated Planning and Scheduling, vol. 34, no. 1, May 2024, pp. 319-23, doi:10.1609/icaps.v34i1.31490.