Eriksson, Salomé, Gabriele Röger, and Malte Helmert. 2017. “Unsolvability Certificates for Classical Planning”. Proceedings of the International Conference on Automated Planning and Scheduling 27 (1):88-97. https://doi.org/10.1609/icaps.v27i1.13818.