Eriksson, S.; Röger, G.; Helmert, M. Unsolvability Certificates for Classical Planning. ICAPS 2017, 27, 88-97.