S. Eriksson, G. Röger, and M. Helmert, “Unsolvability Certificates for Classical Planning”, ICAPS, vol. 27, no. 1, pp. 88-97, Jun. 2017.