Loopless Top-K Planning. - Julian von Tschammer; Robert Mattmüller; David Speck 001 (ICAPS, 2022)