R. Christen, F. Pommerening, C. Büchner, and M. Helmert, “A Formalism for Optimal Search with Dynamic Heuristics”, ICAPS, vol. 35, no. 1, pp. 30-39, Sep. 2025.