Eckerle, J., J. Chen, N. Sturtevant, S. Zilles, and R. Holte. “Sufficient Conditions for Node Expansion in Bidirectional Heuristic Search”. Proceedings of the International Conference on Automated Planning and Scheduling, vol. 27, no. 1, June 2017, pp. 79-87, doi:10.1609/icaps.v27i1.13825.