Valenzano, R.; Xie, F. On the Completeness of Best-First Search Variants That Use Random Exploration. AAAI 2016, 30.