Eriksson, S., Röger, G. and Helmert, M. (2017) “Unsolvability Certificates for Classical Planning”, Proceedings of the International Conference on Automated Planning and Scheduling, 27(1), pp. 88–97. doi: 10.1609/icaps.v27i1.13818.