Katz, M.; Lee, J.; Sohrabi, S. Unifying and Certifying Top-Quality Planning. ICAPS 2024, 34, 319-323.