S. Shperberg, A. Felner, S. Shimony, N. Sturtevant, and A. Hayoun, “Improving Bidirectional Heuristic Search by Bounds Propagation”, SOCS, vol. 10, no. 1, pp. 106–114, Sep. 2021.