Christen, R., Eriksson, S., Pommerening, F. and Helmert, M. (2022) “Detecting Unsolvability Based on Separating Functions”, Proceedings of the International Conference on Automated Planning and Scheduling, 32(1), pp. 44-52. doi: 10.1609/icaps.v32i1.19784.