Katz, Michael, Junkyu Lee, and Shirin Sohrabi. 2024. “Unifying and Certifying Top-Quality Planning”. Proceedings of the International Conference on Automated Planning and Scheduling 34 (1):319-23. https://doi.org/10.1609/icaps.v34i1.31490.