Holte, R.; Felner, A.; Sharon, G.; Sturtevant, N. Bidirectional Search That Is Guaranteed to Meet in the Middle. AAAI 2016, 30.