J. von Tschammer, R. Mattmüller, and D. Speck, “Loopless Top-K Planning”, ICAPS, vol. 32, no. 1, pp. 380-384, Jun. 2022.