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