Stern, Roni, et al. “Search-Aware Conditions for Probably Approximately Correct Heuristic Search”. Proceedings of the International Symposium on Combinatorial Search, vol. 3, no. 1, July 2012, pp. 112-9, doi:10.1609/socs.v3i1.18236.