M. Katz and J. Lee, “K∗ and Partial Order Reduction for Top-Quality Planning”, SOCS, vol. 16, no. 1, pp. 143–147, Jul. 2023.