@inproceedings{holte2016bidirectional,
  title={Bidirectional Search That Is Guaranteed to Meet in the Middle.},
  author={Holte, Robert C and Felner, Ariel and Sharon, Guni and Sturtevant, Nathan R},
  booktitle={30th AAAI Conference on Artificial Intelligence (AAAI-16)},
  pages={3411--3417},
  year={2016}
}