von Tschammer, J.; Mattmüller, R.; Speck, D. Loopless Top-K Planning. ICAPS 2022, 32, 380-384.