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