C. Hernandez and J. Baier, “Toward a Search Strategy for Anytime Search in Linear Space Using Depth-First Branch and Bound”, SOCS, vol. 5, no. 1, pp. 198–199, Sep. 2021.