M. Katz, J. Lee, and S. Sohrabi, “Unifying and Certifying Top-Quality Planning”, ICAPS, vol. 34, no. 1, pp. 319-323, May 2024.