F. Pommerening, C. Büchner, and T. Keller, “Transition Landmarks from Abstraction Cuts”, ICAPS, vol. 34, no. 1, pp. 445-454, May 2024.