M. Abdulaziz and D. Berger, “Computing Plan-Length Bounds Using Lengths of Longest Paths”, SOCS, vol. 11, no. 1, pp. 117–118, Sep. 2021.