Thayer, J., R. Stern, A. Felner, and W. Ruml. “Faster Bounded-Cost Search Using Inadmissible Estimates”. Proceedings of the International Conference on Automated Planning and Scheduling, vol. 22, no. 1, May 2012, pp. 270-8, doi:10.1609/icaps.v22i1.13514.