R. Holte, A. Felner, G. Sharon, and N. Sturtevant, “Bidirectional Search That Is Guaranteed to Meet in the Middle”, AAAI, vol. 30, no. 1, Mar. 2016.