Katz, M.; Lee, J. K∗ and Partial Order Reduction for Top-Quality Planning. SOCS 2023, 16, 143-147.