C. Hernandez, R. Asin, and J. Baier, “Time-Bounded Best-First Search”, SOCS, vol. 5, no. 1, pp. 97–104, Sep. 2021.