Abdulaziz, M.; Berger, D. Computing Plan-Length Bounds Using Lengths of Longest Paths. SOCS 2021, 11, 117-118.