Shperberg, S.; Felner, A.; Shimony, S.; Sturtevant, N.; Hayoun, A. Improving Bidirectional Heuristic Search by Bounds Propagation. SOCS 2021, 10, 106-114.