M. Helmert, S. Sievers, A. Rovner, and A. B. Corrêa, “On the Complexity of Heuristic Synthesis for Satisficing Classical Planning: Potential Heuristics and Beyond”, ICAPS, vol. 32, no. 1, pp. 124-133, Jun. 2022.