Hernandez, C.; Asin, R.; Baier, J. Time-Bounded Best-First Search. SOCS 2014, 5, 97-104.