R. Christen, S. Eriksson, F. Pommerening, and M. Helmert, “Detecting Unsolvability Based on Separating Functions”, ICAPS, vol. 32, no. 1, pp. 44-52, Jun. 2022.