D. Harabor and P. Stuckey, “Forward Search in Contraction Hierarchies”, SOCS, vol. 9, no. 1, pp. 55–62, Sep. 2021.