R. Valenzano and F. Xie, “On the Completeness of Best-First Search Variants That Use Random Exploration”, AAAI, vol. 30, no. 1, Feb. 2016.